Assertion list
mallet (primary) → HasA
Results from Ascent++: 1
mallet → HasA → head 0.25