Assertion: predicate | /r/RelatedTo | set
Facets:
value: in first-order theories
type: OTHER
value: often
type: TEMPORAL
Source sentences:
text: In first-order theories, predicates are often associated with sets.