FOLF methods to help with Predicate rules