Assertion list for term "hypotenuse".
Results from Ascent++: 2
right triangle (subgroup of triangle) → HasA → hypotenuse 0.32
triangle → HasA → hypotenuse 0.25