Assertion: torus | /r/HasProperty | split over field
Facets:
value: if
type: DEGREE
Source sentences:
text: The torus is split over a field if and only if it is diagonalisable over this field.