Two dogs standing and one dog laying down on its back.
Two cats standing and one cat laying down on its back.
Cat and dog are different.
exists e1 e2 s1 x1 x2 x3.(on(e2,x3) & n_back(x3) & of(x3,x1) & n_thing(x1) & a_down(s1) & Manner(e2,s1) & Actor(e2,x2) & v_lay(e2) & n_dog(x2) & card_eq_1(x2) & Actor(e1,x1) & v_stand(e1) & n_dog(x1) & card_eq_2(x1))
exists e1 e2 s1 x1 x2 x3.(on(e2,x3) & n_back(x3) & of(x3,x1) & n_thing(x1) & a_down(s1) & Manner(e2,s1) & Actor(e2,x2) & v_lay(e2) & n_cat(x2) & card_eq_1(x2) & Actor(e1,x1) & v_stand(e1) & n_cat(x1) & card_eq_2(x1))