mmn

predicates