Predicate Term In Logic