Ascent++ | terminated by any of the signatories

Assertion list for term "terminated by any of the signatories".

Results from Ascent++: 1

annex → ReceivesAction → terminated by any of the signatories

0.25