Assertion: overload | /r/HasSubgroup | operator overload
Facets:
Source sentences: