Assertion: logic's aspect | /r/HasProperty | taken in practice
Facets:
value: as establishing context
type: MANNER
Source sentences:
text: In practice, when determining the converse of a mathematical theorem, aspects of the antecedent may be taken as establishing context.