Assertion list
capture (primary) → HasA
Results from Ascent++: 1
capture → HasA → one or more records 0.25