Assertion: hypothesis | /r/HasProperty | t a
Facets:
Source sentences:
text: It follows that of the various theories T A involved in Theorem 5.1, there is one that stands out:
text: So, of the various theories T A involved in Theorem 5.1, there is one that stands out: