Assertion list for term "based on pointer".

Results from Ascent++: 1
predicate ReceivesActionbased on pointer 0.25