Assertion list
metallic mercury (subgroup of mercury ) → HasProperty
Results from Ascent++: 1
metallic mercury → HasProperty → liquid 0.25