Ascent++
Search
Assertion list
angle
(
aspect
of
triangle
)
→ CapableOf
Results from
Ascent++
:
3
angle
→
CapableOf
→
add up to 180 degrees
0.64
angle
→
CapableOf
→
add up one hundred
0.44
angle
→
CapableOf
→
sum to two right angles
0.25