a dog runs dog a ramp.
A dog is at a dog show.
A ramp does not imply a dog show
exists x1.(all x2.(n_ramp(x2) -> exists e1 x3.(Theme(e1,x3) & Actor(e1,x1) & v_run(e1) & for(x3,x2) & n_dog(x3))) & n_dog(x1))
exists p1 x1.(exists x2 x3.(at(x1,x2) & n_show(x2) & of(x2,x3) & n_dog(x3)) & n_dog(x1))