Assertion: logic's semantic | /r/Desires | world
Facets:
value: like the ternary relation semantics
type: OTHER
value: to be inconsistent
type: PURPOSE
Source sentences:
text: Like the ternary relation semantics, this semantics requires some worlds to be inconsistent and some to be non-bivalent.