Assertion list
argon (primary) → AtLocation
Results from Ascent++: 1
argon → AtLocation → the air 0.20