Assertion: ring | /r/HasProperty | preadditive category
Facets:
value: with a single object
type: OTHER
Source sentences:
text: Any ring can be seen as a preadditive category with a single object.