Assertion: truth | /r/CapableOf | commute with quantifier
Facets:
Source sentences:
text: Axioms 2–6 claim that truth commutes with all connectives and quantifiers.