Assertion list
concrete sidewalk (subgroup of sidewalk ) → CapableOf

Results from Ascent++: 1
concrete sidewalkCapableOf withstand changing conditions 0.59