Assertion list
buddy (primary) → IsA
Results from Ascent++: 1
buddy → IsA → friend 0.61