Assertion: logic's application | /r/HasProperty | various
Facets:
Source sentences:
text: Logics with both inner and outer quantifiers have various applications.