Assertion list
tracer (primary) → HasA
Results from Ascent++: 1
tracer → HasA → girlfriend 0.25