Assertion list for term "obtained after the multicast address".
Results from Ascent++: 1
remainder → ReceivesAction → obtained after the multicast address 0.25