Assertion list
angle (aspect of rectangle ) → HasProperty
Results from Ascent++: 3
angle → HasProperty → equal 0.84
angle → HasProperty → congruent 0.51
angle → HasProperty → pi/4 0.31