Assertion list for term "connected through independent valves".
Results from Ascent++: 1
port (aspect of valve) → ReceivesAction → connected through independent valves 0.25