Assertion list
good neighbor (subgroup of neighbor ) → CapableOf
Results from Ascent++: 1
good neighbor → CapableOf → help each other 0.59