Assertion: hypothesis | /r/HasProperty | constructed in such a way
Facets:
value: always
type: TEMPORAL
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.