Assertion list
angle (aspect of triangle ) → HasProperty

Results from Ascent++: 9
angleHasProperty equal 0.82
angleHasProperty congruent 0.74
angleHasProperty acute 0.65
angleHasProperty opposite 0.53
angleHasProperty greater 0.33
angleHasProperty right 0.32
angleHasProperty supplementary 0.30
angleHasProperty obtuse 0.25
angleHasProperty complementary 0.25