Assertion list
briefcase (primary) → ReceivesAction
Results from Ascent++: 2
briefcase → ReceivesAction → opened 0.42
briefcase → ReceivesAction → made 0.25