Assertion list
future contract (subgroup of contract ) → HasSubevent
Results from Ascent++: 1
future contract → HasSubevent → delivery 0.15