nn predicate construction