Ascent++ | carried out by the member state of destination

Assertion list for term "carried out by the member state of destination".

Results from Ascent++: 1

check → ReceivesAction → carried out by the member state of destination