Assertion list
pint (primary) → HasA
Results from Ascent++: 1
pint → HasA → presence 0.25