Ascent++
Search
Assertion list
for term "touch all the three circles".
Results from
Ascent++
:
1
circle
→
CapableOf
→
touch all the three circles
0.25