Assertion: quantifier's meaning | /r/HasProperty | characterized for example
Facets:
value: informally
type: MANNER
Source sentences:
text: Modal logic has extra modal operators with meanings which can be characterized informally as, for example "it is necessary that φ" (true in all possible worlds) and "it is possible that φ" (true in some possible world).