Assertion: predicate | /r/HasProperty | formal word
Facets:
Source sentences:
text: Predicate is a rather formal word, used in more formal situations, not often in everyday conversation.
text: Predicate logic distinguishes between terms (formal expressions denoting elements of the domain of discourse, e.g., addition of numbers in arithmetic) and predicates (formal expressions denoting relations amongst elements in domain of discourse, e.g., the less-than relation in arithmetic).