Assertion list
future market (subgroup of market ) → ReceivesAction
Results from Ascent++: 1
future market → ReceivesAction → launched 0.33