Assertion list
hybrid eclipse (subgroup of eclipse ) → CapableOf
Results from Ascent++: 1
hybrid eclipse → CapableOf → begin annular 0.25