Ascent++
Search
cement mortar
subgroup of
mortar
,
1
assertions
HasProperty
1
harder
0.59