Assertion: ring | /r/HasProperty | semiprimitive
Facets:
Source sentences:
text: A ring is semisimple if and only if it is artinian and is semiprimitive.