Predicate evaluator for Equality and SetInclusion
Named predicate evaluation
Handle nested rule evaluation