Assertion: hypothesis | /r/HasProperty | expressed in natural language
Facets:
Source sentences:
text: Theories in various fields of study are expressed in natural language, but are always constructed in such a way that their general form is identical to a theory as it is expressed in the formal language of mathematical logic.