Assertion: concept | /r/HasProperty | expressed by predicate
Facets:
Source sentences:
text: For example, if two predicate expressions differ in their possible-worlds extension, then the concepts expressed by those predicates must be distinct.