Assertion: cd | /r/HasSubgroup | writable cd
Facets:
Source sentences: