Assertion: predicate | /r/HasProperty | assigned one extension
Facets:
Source sentences:
text: With standard first-order logic we have a single domain and each predicate is assigned one extension.
text: With standard first-order logic we have a single domain and each predicate is assigned one extension.