Action:
enact (application (abstraction of give the given integer) to 5.3)
Incomplete...
[Created by Luis Carlos. Last edited at 16 Apr 2004 by Luis Carlos]