Assertion list
cirrus (primary) → AtLocation

Results from Ascent++: 1
cirrusAtLocation upper region of the troposphere 0.25