Assertion list
briefcase (primary) → HasA
Results from Ascent++: 1
briefcase → HasA → document 0.25