Assertion: logic's feature | /r/HasProperty | desirable
Facets:
Source sentences:
text: Classical predicate logic has the desirable feature that co-extensive open formulas may be substituted for one another in any formula salva veritate