Ascent++
Search
Assertion list
for term "fall to circular-arc of circle abgd".
Results from
Ascent++
:
1
straight line
→
CapableOf
→
fall to circular-arc of circle abgd
0.48