Assertion: construction | /r/HasSubgroup | lean construction
Facets:
Source sentences: