Assertion list
candidate solution (subgroup of solution ) → ReceivesAction
Results from Ascent++: 1
candidate solution → ReceivesAction → evaluated 0.25