Assertion list
feature (aspect of thermostat ) → HasProperty
Results from Ascent++: 2
feature → HasProperty → useful 0.54
feature → HasProperty → basic 0.16