Assertion: logic's theorem | /r/HasProperty | applied
Facets:
Source sentences:
text: The details of Chapter XV are quite involved, mainly because of the increase in size of expressions when the Elimination and Development Theorems are applied.