Assertion list
digital thermostat (subgroup of thermostat ) → HasA
Results from Ascent++: 1
digital thermostat → HasA → moving parts 0.25