Assertion list for term "implemented over each of the subsystems".
Results from Ascent++: 1
bus → ReceivesAction → implemented over each of the subsystems 0.48