Assertion list
hot spot (primary) → HasA
Results from Ascent++: 1
hot spot → HasA → spatial extent 0.25