Proliferate Consequence

Define a consequence for the action proliferate. The verb is unknown so the only consequence that can be modeled

at this point is an unknown one.

Model the action proliferate as having a consequence as follows:

Forall r

If r is a rabbit and r proliferates

then r does some unknown consequence

It may seem a waste of time to model an unknown consequence but it is crucial for the verb algorithm.

Do the same thing for stem cells as for rabbits.