Assertion list
hybrid eclipse (subgroup of eclipse ) → HasProperty
Results from Ascent++: 1
hybrid eclipse → HasProperty → rare 0.68