Assertion list
storm (primary) → AtLocation
Results from Ascent++: 3
storm → AtLocation → progress 0.43
storm → AtLocation → many kinds 0.26
storm → AtLocation → the forecast 0.24