Assertion: logic's semantic | /r/CapableOf | define call
Facets:
value: for free logic
type: PURPOSE
Source sentences:
text: Modal semantics thus defined call for free logic whenever worlds are allowed to have differing domains—