Assertion list
future contract (subgroup of contract ) → HasA
Results from Ascent++: 1
future contract → HasA → the number of units 0.28