Assertion: logic | /r/CapableOf | combine rigid designators
Facets:
Source sentences:
text: Any logic that combines rigid designators with quantifiers over the domains of worlds in which their referents do not exist must be free.