adding nell predicate equivalence