Assertion list
smoke (primary) → AtLocation
Results from Ascent++: 3
smoke → AtLocation → the air 0.42
smoke → AtLocation → the background 0.30
smoke → AtLocation → confusion 0.16