Assertion list
cement mortar (subgroup of mortar ) → HasProperty
Results from Ascent++: 1
cement mortar → HasProperty → harder 0.59