Assertion list
equilateral triangle (subgroup of triangle ) → HasA
Results from Ascent++: 1
equilateral triangle → HasA → three equal sides 0.84