Ascent++
Search
isoscele triangle
subgroup of
triangle
,
2
assertions
HasA
1
two equal sides
0.68
IsA
1
triangle
0.25