Assertion list
tank top (primary) → ReceivesAction
Results from Ascent++: 2
tank top → ReceivesAction → made 0.25
tank top → ReceivesAction → permitted 0.25