Assertion: equality | /r/HasProperty | xr
Facets:
Source sentences:
text: Then the relation x R y is equivalent with the equality xR = yR.