Two dogs sit in the shade and lick each other's face.
The dogs are playing.
If dogs are licking each other's face, this implies they are playing.
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.(n_dog(x1) & Actor(e1,x1) & v_play(e1))