Assertion: trace | /r/HasProperty | zxy
Facets:
Source sentences:
text: {trace} (XYZ)=\operatorname {trace} (ZXY)} ):