A white dog wearing a christmas reindeer headband plays with a brown dog in the grass among some stuffed animals.
Two dogs are playing dressed up for halloween
If you are dressed up for Christmas you cannot be simultaneously dressed up for Halloween.
exists e1 e2 s1 s2 s3 x1 x2 x3 x4 x5 x6 x7 x8.(n_grass(x7) & with(e2,x6) & in(x6,x7) & among(x7,x8) & n_animal(x8) & a_stuffed(s3) & Theme(s3,x8) & n_dog(x6) & a_brown(s2) & Theme(s2,x6) & Actor(e2,x1) & v_play(e2) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_headband(x3) & of(x3,x5) & n_reindeer(x5) & of(x3,x4) & n_christmas(x4) & (x1 = x2) & n_dog(x1) & a_white(s1) & Theme(s1,x1))
exists e1 e2 s1 x1 x2.(for(e1,e2) & a_up(s1) & Manner(e2,s1) & for(e2,x2) & n_halloween(x2) & Theme(e2,x1) & v_dress(e2) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & card_eq_2(x1))