Assertion list for term "connected at opposite end of the bus".
Results from Ascent++: 1
current source (subgroup of source) → ReceivesAction → connected at opposite end of the bus 0.68