Assertion: ring's subring | /r/HasProperty | generated by set
Facets:
Source sentences:
text: Subring generated by a set [ edit ]