Assertion: hypothesis | /r/HasProperty | distinct
Facets:
value: from theorems
type: OTHER
Source sentences:
text: Theories are distinct from theorems.