Assertion list
side (aspect of square ) → HasA
Results from Ascent++: 3
side → HasA → length 0.54
side → HasA → integer lengths 0.48
side → HasA → right angle 0.36