Assertion list
option contract (subgroup of contract ) → DefinedAs
Results from Ascent++: 1
option contract → DefinedAs → promise 0.30