G( (ph0.state=HUNGRY)-> F(ph0.state=EATING));