The elephant's nose is curled.
The elephants nose is trying to eat.
The elephant's nose being curled does not necessarily imply that the elephant is trying to eat.
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_nose(x1) & of(x1,x2) & n_elephant(x2) & Topic(e1,p1) & Actor(e1,x1) & v_try(e1) & exists e2.(Actor(e2,x1) & v_eat(e2)))