The giraffe's mouth is closed.
The giraffe is not eating
If the giraffe's mouth is closed, he could be chewing. Therefor if his mouth is closed doesn't mean he is not eating
exists e1 x1 x2.(n_mouth(x2) & of(x2,x1) & n_giraffe(x1) & Theme(e1,x2) & v_close(e1))
exists x1.(n_giraffe(x1) & -exists e1.(Actor(e1,x1) & v_eat(e1)))