Assertion: logic's operator | /r/CapableOf | behave like quantifier
Facets:
value: in \(\bk\
type: LOCATION
value: very much
type: DEGREE
Source sentences:
text: In \(\bK\), the operators \(\Box\) and \(\Diamond\) behave very much like the quantifiers \(\forall\)