Ascent++
Search
Assertion list
for term "extend to the side surface".
Results from
Ascent++
:
1
lead
→
CapableOf
→
extend to the side surface
0.32