Assertion list
isoscele triangle (subgroup of triangle ) → HasA
Results from Ascent++: 1
isoscele triangle → HasA → two equal sides 0.68