Ascent++
Search
concrete sidewalk
subgroup of
sidewalk
,
1
assertions
CapableOf
1
withstand changing cond…
0.59