Assertion list
propane (primary) → AtLocation

Results from Ascent++: 1
propaneAtLocation the tank 0.45