Assertion list
henry (primary) → IsA
Results from Ascent++: 1
henry → IsA → large unit 0.25