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