Assertion: logic's property | /r/HasProperty | closed under operation
Facets:
Source sentences:
text: If a certain property holds of the atomic formulas and is closed under the operations presented in clauses (2)–(7), then the property holds of all formulas.