Assertion: cup | /r/HasSubgroup | pythagorean cup
Facets:
Source sentences: