Assertion: logic's property | /r/CapableOf | hold of formula
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.