The giraffe's mouth is closed.
The giraffe has eaten sap that has now sealed its mouth shut.
Just because the giraffe's mouth is closed, does not mean that his mouth is sealed shut
exists e1 x1 x2.(n_mouth(x2) & of(x2,x1) & n_giraffe(x1) & Theme(e1,x2) & v_close(e1))
exists e1 e3 e2 s1 x1 x2 x3 x4 x5.(n_mouth(x4) & of(x4,x1) & n_thing(x1) & n_giraffe(x1) & Theme(e3,x2) & Actor(e3,x1) & v_eat(e3) & a_now(s1) & Manner(e2,s1) & Theme(e2,x4) & Actor(e2,x3) & v_seal(e2) & Actor(e1,x5) & v_shut(e1) & (x4 = x5) & (x2 = x3) & n_sap(x2))