Two small white and brown dogs bound in unison.
There are two cats bound in unison.
Dog and cats cannot bound at same time in unison.
exists e1 s1 s2 s3 x1 x2.(in(e1,x2) & n_unison(x2) & Theme(e1,x1) & v_bind(e1) & n_dog(x1) & a_brown(s3) & Theme(s3,x1) & a_white(s2) & Theme(s2,x1) & a_small(s1) & Theme(s1,x1) & card_eq_2(x1))
exists p1 x1 e1 x2 x3 x4.((x1 = x2) & in(e1,x4) & n_unison(x4) & Theme(e1,x3) & v_bind(e1) & (x2 = x3) & n_cat(x2) & card_eq_2(x2))