Two men are wrestling while other people are watching
The wrestlers stopped wrestling and are now sitting down talking about their feelings.
They either are wrestling or they aren't.  They can't do both
exists e1 p1 x1 x3.(n_people(x3) & exists e2 x2.(Actor(e2,x2) & v_watch(e2) & -(x2 = x3) & n_people(x2)) & while(e1,p1) & Actor(e1,x1) & v_wrestle(e1) & n_man(x1) & card_eq_2(x1))
exists e1 e3 e2 p1 s1 s2 x1 x2.(n_feeling(x2) & of(x2,x1) & n_thing(x1) & n_wrestler(x1) & for(e2,e3) & about(e3,x2) & Actor(e3,x1) & v_talk(e3) & a_now(s2) & Manner(e2,s2) & a_down(s1) & Manner(e2,s1) & Actor(e2,x1) & v_sit(e2) & exists e4.(Actor(e4,x1) & v_wrestle(e4)) & Topic(e1,p1) & Actor(e1,x1) & v_stop(e1))