Assertion: calculation | /r/HasSubgroup | simple calculation
Facets:
Source sentences: