Assertion list
smart contract (subgroup of contract ) → Desires
Results from Ascent++: 1
smart contract → Desires → consider many scenarios 0.42