Two tired children rest on couches at an art museum while the adults around them view the art.
Two tired children are running.
The children cannot simultaneously rest and be running
(x)
exists e1 s1 x1.(Actor(e1,x1) & v_run(e1) & n_child(x1) & a_tired(s1) & Theme(s1,x1) & card_eq_2(x1))