Assertion: slate | /r/HasProperty | laid with diminishing lengths
Facets:
Source sentences:
text: The slates are then laid with diminishing lengths and thicknesses until the smallest and thinnest slate are at the top.