Assertion list
gore (primary) → HasA
Results from Ascent++: 1
gore → HasA → record 0.25