Assertion list
zone (primary) → UsedFor
Results from Ascent++: 2
zone → UsedFor → lecture 0.35
zone → UsedFor → controlling radiators 0.16