Assertion: simple ring | /r/HasProperty | field
Facets:
value: precisely
type: DEGREE
Source sentences:
text: A commutative simple ring is precisely a field.