Ascent++ | specified in contract's private conditions

Assertion list for term "specified in contract's private conditions".

Results from Ascent++: 1

period → ReceivesAction → specified in contract's private conditions

0.31