Assertion list
right triangle (subgroup of triangle ) → HasA
Results from Ascent++: 3
right triangle → HasA → one angle 0.57
right triangle → HasA → hypotenuse 0.32
right triangle → HasA → leg 0.25