A black dog runs in front of a large brown and white bull.
The dog is larger than the bull.
The dog cannot be larger than the large bull.
exists s1 s2 s3 x1 x2 x3 x4 x5 x6.(a_topic(x1) & in(x1,x3) & of(x3,x4) & n_bull(x6) & a_white(s3) & Theme(s3,x6) & n_brown(x5) & subset_of(x6,x4) & subset_of(x5,x4) & a_large(s2) & Theme(s2,x4) & n_front(x3) & n_run(x1) & of(x1,x2) & n_dog(x2) & a_black(s1) & Theme(s1,x1))
exists s1 x1 x2.(n_bull(x2) & n_dog(x1) & than(s1,x2) & r_more(s1) & Theme(s1,x1) & a_large(s1))