The dog is on the fence
A large dog gets stuck climbing over a fence.
Dogs are many different sizes and could be large or small. Just because the dog is on the fence does not mean that the dog is stuck.
exists p1 x1 x2.(n_fence(x2) & n_dog(x1) & on(x1,x2))
exists e1 p1 s1 x1.(exists e2 p2.(exists e3 x2.(over(e3,x2) & n_fence(x2) & Actor(e3,x1) & v_climb(e3)) & Recipient(e2,p2) & Topic(e2,x1) & v_stick(e2)) & Topic(e1,p1) & Actor(e1,x1) & v_get(e1) & n_dog(x1) & a_large(s1) & Theme(s1,x1))