Assertion list for term "provided to switch relevant zone actuator".
Results from Ascent++: 1
output → ReceivesAction → provided to switch relevant zone actuator 0.30