Assertion: stub | /r/HasSubgroup | open circuit stub
Facets:
Source sentences: