Assertion: logic's semantic | /r/HasProperty | the application of mathematics
Facets:
value: to study the meaning of expressions
type: PURPOSE
Source sentences:
text: Mathematical semantics is the application of mathematics to study the meaning of expressions in a formal language.