Assertion list
space heater (primary) → UsedFor
Results from Ascent++: 1
space heater → UsedFor → limited time 0.43