Everybody is watching carefully.
Everybody takes a nap
you cannot be watching carefully and taking a nap at the same time.
all x1.(n_person(x1) -> exists e1 s1.(a_carefully(s1) & Manner(e1,s1) & Actor(e1,x1) & v_watch(e1)))
all x1.(n_person(x1) -> exists e1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_take(e1) & n_nap(x2)))