Assertion list
forward contract (subgroup of contract ) → HasProperty
Results from Ascent++: 1
forward contract → HasProperty → flexible 0.25