Two small dogs run across the green grass.
One dog chases after the other dog.
Dogs running together does not mean one dogs chases after the other dog.
exists e1 s1 s2 x1 x2.(n_grass(x2) & a_green(s2) & Theme(s2,x2) & across(e1,x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & a_small(s1) & Theme(s1,x1) & card_eq_2(x1))
exists x1 x2 x3.(-(x3 = x2) & n_dog(x3) & a_topic(x1) & after(x1,x3) & n_dog(x2) & n_dog(x2) & n_chase(x1) & of(x1,x2) & card_eq_1(x1))