Assertion: logic's semantic | /r/Desires | first-order predicate calculus
Facets:
value: with equality
type: OTHER
Source sentences:
text: The semantics for uniqueness quantification requires first-order predicate calculus with equality.