Assertion list
old thermostat (subgroup of thermostat ) → HasA
Results from Ascent++: 1
old thermostat → HasA → mercury 0.25