Ascent++ | terminated by one of the contracting states

Assertion list for term "terminated by one of the contracting states".

Results from Ascent++: 1

convention → ReceivesAction → terminated by one of the contracting states

0.34