Ascent++
Search
side
aspect of
parallelogram
,
5
assertions
AtLocation
2
the ratio
0.40
the ratio of 12
0.25
HasA
1
same length
0.62
HasProperty
2
equal
0.84
proportional
0.40