Assertion list
good buddy (subgroup of buddy ) → IsA
Results from Ascent++: 1
good buddy → IsA → someone 0.59