Assertion list
partial eclipse (subgroup of eclipse ) → ReceivesAction
Results from Ascent++: 1
partial eclipse → ReceivesAction → close to being total 0.25