A black and brown dog rolls around in the grass.
Two cats are chasing each other down the street
There can either be one dog or two cats.
exists s1 s2 x1 x2 x3.(n_grass(x3) & a_topic(x1) & in(x1,x3) & r_around(x1) & n_roll(x1) & of(x1,x2) & n_dog(x2) & a_brown(s2) & Theme(s2,x1) & a_black(s1) & Theme(s1,x1))
exists x1 x3.(n_street(x3) & all x2.(n_other(x2) -> exists e1.(down(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_chase(e1))) & n_cat(x1) & card_eq_2(x1))