Assertion: double | /r/HasSubgroup | b double
Facets:
Source sentences: