Assertion list
elemental mercury (subgroup of mercury ) → AtLocation
Results from Ascent++: 1
elemental mercury → AtLocation → thermometer 0.25