Assertion list
future contract (subgroup of contract ) → HasProperty

Results from Ascent++: 2
future contractHasProperty standardized 0.55
future contractHasProperty leveraged 0.44