Work in progress!
In the following text the creation of an agent (with the agent keyword or the tilde operator) is called the agent creation.
class C feature f (p1, p2: INTEGER; p3: STRING): STRING do ... end end