Assertion list
checkup (primary) → ReceivesAction
Results from Ascent++: 2
checkup → ReceivesAction → performed 0.62
checkup → ReceivesAction → built up with mac os x technolo… 0.16