Assertion: logic | /r/HasAspect | logic's theorem
Facets:
Source sentences: