Assertion list
surcharge (primary) → HasA
Results from Ascent++: 1
surcharge → HasA → dilutive effect 0.25