The 'denotes' property relates ...... or model-theoretic semantics.
@en
Свойство 'обозначает' связывае ...... еоретико-модельной семантикой.
@ru