added evaluation function for predicate formulas