Assertion list for term "two congruent sides".
Results from Ascent++: 1
triangle → HasA → two congruent sides 0.52