A brown dog is running towards three other dogs.
There large brown dog is running towards three smaller dogs.
Not all brown dogs are large. Size cannot be inferred about the three other dogs.
exists e1 s1 x1 x2.(towards(e1,x2) & -(x2 = x1) & n_dog(x1) & n_dog(x1) & n_dog(x2) & card_eq_3(x2) & Actor(e1,x1) & v_run(e1) & a_brown(s1) & Theme(s1,x1))
exists p1 s1.(a_topic(s1) & exists e1 s2 s3 s4 x1 x2.(towards(e1,x2) & n_dog(x2) & r_more(s4) & a_smaller(s4) & Theme(s4,x2) & card_eq_3(x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & a_brown(s3) & Theme(s3,x1) & a_large(s2) & Theme(s2,x1)) & that(s1,p1))