Assertion list
buddy (aspect of diver ) → HasProperty
Results from Ascent++: 1
buddy → HasProperty → close 0.68