renamed predicates to English