Assertion: ceiling | /r/HasSubgroup | new ceiling
Facets:
Source sentences: