Assertion list
fit (primary) → HasA
Results from Ascent++: 1
fit → HasA → good head 0.18