Assertion list for term "shared with neighbor".
Results from Ascent++: 2
produce → ReceivesAction → shared with neighbor 0.41
fence → ReceivesAction → shared with neighbor 0.25