Assertion list
department store (primary) → HasA
Results from Ascent++: 1
department store → HasA → future 0.36