Assertion list
ham (primary) → HasA
Results from Ascent++: 1
ham → HasA → bone 0.25