Two dogs sit in the shade and lick each other's face.
The pets are running the room.
Not all pets are dogs. One cannot sit and lick and be running the room at the same time.
exists x1 x2 x5 x6 x7.(n_lick(x7) & n_shade(x6) & subset_of(x7,x5) & subset_of(x6,x5) & a_topic(x2) & n_face(x2) & of(x2,x1) & all x3.(n_other(x3) -> exists e1 x4.(Time(e1,x3) & in(e1,x5) & Actor(e1,x4) & v_sit(e1) & (x1 = x4))) & n_dog(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_room(x2) & n_pet(x1) & Theme(e1,x2) & Actor(e1,x1) & v_run(e1))