Def/Binary Predicate 1