Assertion list
footprint (primary) → HasA
Results from Ascent++: 1
footprint → HasA → distinct curve 0.31