Assertion: logic's operator | /r/HasProperty | such that
Facets:
Source sentences:
text: Then we add to the language a modal operator \(\Box\), such that \((M,