Assertion: pascal | /r/HasSubgroup | smart pascal
Facets:
Source sentences: