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