Assertion list
friend (aspect of buddy ) → HasProperty
Results from Ascent++: 2
friend → HasProperty → good 0.28
friend → HasProperty → happy 0.20