Assertion list
haft (primary) → CapableOf
Results from Ascent++: 1
haft → CapableOf → measure 22 3/4 0.25