Assertion list
thermostat (aspect of water heater ) → HasProperty
Results from Ascent++: 2
thermostat → HasProperty → faulty 0.34
thermostat → HasProperty → bad 0.22