Ascent++
Search
side
aspect of
cube
,
6
assertions
HasProperty
5
equal
0.84
parallel
0.47
square
0.41
visible
0.33
congruent
0.25
ReceivesAction
1
restored to solid colou…
0.41