Assertion list
space heater (primary) → HasA
Results from Ascent++: 1
space heater → HasA → automatic shut-off switch 0.39