Assertion list
casualty (primary) → AtLocation
Results from Ascent++: 1
casualty → AtLocation → the water 0.25