Assertion list
action (aspect of pointer ) → HasA
Results from Ascent++: 1
action → HasA → different behavior 0.46