Assertion list
justification (primary) → HasA
Results from Ascent++: 1
justification → HasA → proprietary data 0.25