Ascent++ | go against basic assumption of the contract

Assertion list for term "go against basic assumption of the contract".

Results from Ascent++: 1

mistake → CapableOf → go against basic assumption of the contract

0.16