The elephant's nose is curled.
The elephant's nose is curled while he eats
An elephant's nose does not become curled only while he eats.
exists e1 x1 x2.(n_nose(x2) & of(x2,x1) & n_elephant(x1) & Theme(e1,x2) & v_curl(e1))
exists e1 p1 x1 x2.(n_male(x1) & n_nose(x2) & of(x2,x1) & n_elephant(x1) & exists e2.(Actor(e2,x1) & v_eat(e2)) & while(e1,p1) & Theme(e1,x2) & v_curl(e1))