in predicate logic they are the predicates along with their arguments