Assertion list
exhaust (primary) → UsedFor
Results from Ascent++: 2
exhaust → UsedFor → space 0.25
exhaust → UsedFor → water heating 0.25