A dog leaps over a barrier.
A quick brown fox jumps over the lazy brown dog.
A dog that leaps a barrier, is not a fox who jumps a lazy dog.
exists e1 x1 x2.(over(e1,x2) & n_barrier(x2) & Actor(e1,x1) & v_leap(e1) & n_dog(x1))
exists s1 s2 s3 s4 x1 x2 x3.(n_dog(x3) & a_brown(s4) & Theme(s4,x3) & a_lazy(s3) & Theme(s3,x3) & a_topic(x1) & over(x1,x3) & n_jump(x1) & of(x1,x2) & n_fox(x2) & a_brown(s2) & Theme(s2,x1) & a_quick(s1) & Theme(s1,x1))