Assertion list
minesweeper (primary) → ReceivesAction
Results from Ascent++: 3
minesweeper → ReceivesAction → alerted on 28 january 0.39
minesweeper → ReceivesAction → bound for the mediterranean sea 0.25
minesweeper → ReceivesAction → ordered to proceed along strait 0.25