Assertion: predicate | /r/CapableOf | get extension
Facets:
value: with first-order modal logic
type: OTHER
Source sentences:
text: With first-order modal logic we have a domain function that assigns each possible world its own domain, so that each predicate gets an extension only relative to these possible worlds.
text: With first-order modal logic we have a that assigns each possible world its own domain, so that each predicate gets an extension only relative to these possible worlds.