mmn

predicate