Assertion list
equilateral triangle (subgroup of triangle ) → CapableOf
Results from Ascent++: 1
equilateral triangle → CapableOf → form hexagon 0.25