Assertion list
future contract (subgroup of contract ) → HasPrerequisite
Results from Ascent++: 1
future contract → HasPrerequisite → daily settlement 0.32