Two black dogs and one white dog interact.
There are three cats watching mice run around.
The three animals must be either dogs or cats
exists s1 s2 s3 s4 x1 x2 x3.(n_interact(x2) & a_.(s4) & Theme(s4,x2) & of(x2,x3) & n_dog(x3) & a_white(s3) & Theme(s3,x2) & card_eq_1(x2) & n_dog(x1) & a_black(s2) & Theme(s2,x1) & card_eq_2(x1) & subset_of(x2,s1) & subset_of(x1,s1) & a_topic(s1))
exists p1 x1 e1 e2 s1 x2 x3 x4 x5.((x1 = x2) & Theme(e2,x4) & Actor(e2,x3) & v_watch(e2) & a_around(s1) & Manner(e1,s1) & Theme(e1,x5) & v_run(e1) & (x4 = x5) & n_mouse(x4) & (x2 = x3) & n_cat(x2) & card_eq_3(x2))