Assertion list
smog (primary) → AtLocation
Results from Ascent++: 1
smog → AtLocation → the air 0.32