Assertion list
future market (subgroup of market ) → IsA
Results from Ascent++: 3
future market → IsA → an auction market 0.25
future market → IsA → main driving engines 0.16
future market → IsA → the most popular venue 0.16