Ascent++
Search
Assertion list
for term "give the three points".
Results from
Ascent++
:
1
goal
→
CapableOf
→
give the three points
0.36