Assertion: logic's semantic | /r/CapableOf | add to the standard
Facets:
Source sentences:
text: Their semantics adds to the standard Routley-Meyer semantics an accessibility relation that holds between a formula and two worlds.