Assertion: trace | /r/HasProperty | the sum of the eigenvalues
Facets:
Source sentences:
text: Then its trace is the sum of the eigenvalues