Assertion list
right triangle (subgroup of triangle ) → HasProperty
Results from Ascent++: 1
right triangle → HasProperty → congruent 0.68