Assertion list for term "connected to different supply groups".
Results from Ascent++: 1
port (aspect of valve) → ReceivesAction → connected to different supply groups 0.41