use predicate formulas without a special key word