Assertion: logic's semantic | /r/HasProperty | modified
Facets:
value: accordingly
type: MANNER
Source sentences:
text: This means there is given a distinguished two-placed predicate "="; the semantics is also modified accordingly so that "=" is always interpreted as the two-place equality relation on X.