Assertion: logic's theorem | /r/HasProperty | unique readability
Facets:
Source sentences:
text: Theorem 6, unique readability, assures us that this definition is coherent.