Assertion: pen | /r/HasSubgroup | functional pen
Facets:
Source sentences: