IMPLIES_THAT

RegularExpression Id.