Assertion list
hobbyist (primary) → HasA
Results from Ascent++: 1
hobbyist → HasA → success 0.16