Ascent++
Search
diameter
aspect of
circle
,
12
assertions
CapableOf
3
pass through the center…
0.30
vary
0.30
intersect each other
0.25
HasA
1
same length
0.50
HasProperty
3
small
0.40
proportional
0.34
large
0.25
IsA
3
a line segment
0.37
straight line
0.34
the line
0.30
ReceivesAction
2
selected at size
0.44
thought as 2r
0.25