Assertion list
space heater (primary) → HasPrerequisite
Results from Ascent++: 1
space heater → HasPrerequisite → space 0.41