Assertion list
thermostat (aspect of water heater ) → CapableOf
Results from Ascent++: 2
thermostat → CapableOf → regulate the temperature 0.68
thermostat → CapableOf → go bad 0.22