Action:
give successor(1)
This action shows one example of functions in Action Semantics.
[Created by Luis Carlos. Last edited at 16 Apr 2004 by Luis Carlos]