Assertion: ring | /r/HasProperty | nonzero
Facets:
Source sentences:
text: Like a group, a ring is said to be simple if it is nonzero and it has no proper nonzero two-sided ideals.