Ascent++
Search
Assertion list
vertex
(
aspect
of
triangle
)
→ CapableOf
Results from
Ascent++
:
5
vertex
→
CapableOf
→
form triangle
0.84
vertex
→
CapableOf
→
lie on circle
0.63
vertex
→
CapableOf
→
bisect opposite sides
0.47
vertex
→
CapableOf
→
define first triangle
0.31
vertex
→
CapableOf
→
define plane
0.25