Assertion list
thermostat (aspect of water heater ) → HasA
Results from Ascent++: 1
thermostat → HasA → dial 0.25