Assertion list
multiplexer (primary) → AtLocation
Results from Ascent++: 2
multiplexer → AtLocation → communication 0.30
multiplexer → AtLocation → the broadcast centre 0.30