predicate meta-model