Assertion: logic's semantic | /r/HasProperty | synonymous
Facets:
value: with model-theoretic
type: OTHER
Source sentences:
text: Semantic' is synonymous with 'model-theoretic'.