Action:
give 55 then give abstraction of give successor(the given integer)
Incomplete...
[Created by Luis Carlos. Last edited at 16 Apr 2004 by Luis Carlos]