Ascent++
Search
side
aspect of
triangle
,
15
assertions
AtLocation
1
the ratio
0.36
CapableOf
2
sit on flag’s top and b…
0.35
form triangle
0.25
HasA
1
right angle
0.42
HasProperty
7
equal
0.82
congruent
0.72
proportional
0.70
parallel
0.64
unequal
0.57
straight
0.44
identical
0.25
IsA
1
straight line segments
0.25
ReceivesAction
3
divided
0.44
connected
0.44
divided in same ratio
0.37