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