Assertion: logic's application | /r/Desires | predicate
Facets:
value: to be true
type: PURPOSE
Source sentences:
text: Some applications, however, require predicates to be true of—and