Assertion list
glass thermometer (subgroup of thermometer ) → HasA
Results from Ascent++: 1
glass thermometer → HasA → mercury 0.68