side aspect of square, 8 assertions
HasA 3
length 0.54
integer lengths 0.48
right angle 0.36
HasProperty 5
equal 0.84
parallel 0.67
square 0.48
congruent 0.48
proportional 0.25