Assertion list
thunderstorm (primary) → AtLocation
Results from Ascent++: 2
thunderstorm → AtLocation → progress 0.44
thunderstorm → AtLocation → hour 0.35