AG( (ph0.state=HUNGRY)-> AF(ph0.state=EATING));