4 men, 3 of which are playing soccer, all three of them wearing uniforms with red on them, the fourth man is onlooking.
Not all of the men enjoy playing soccer but they like to watch.
Just because men are watching soccer doesn't mean they like it.
exists e1 e2 s1 x1 x2 x3 x4.(Theme(e2,x4) & Actor(e2,x3) & v_play(e2) & all x5.((n_thing(x5) & card_eq_3(x5)) -> exists e3 x6 x7 x8 x9.(rel(x4,x5) & with(e3,x8) & subset_of(x1,x8) & subset_of(x9,x8) & on(x9,x1) & n_red(x9) & Theme(e3,x7) & Actor(e3,x6) & v_wear(e3) & n_uniform(x7) & (x5 = x6) & of(x5,x1))) & n_man(x1) & n_man(x1) & a_fourth(s1) & Theme(s1,x1) & n_thing(x1) & n_thing(x1) & n_soccer(x4) & of(x3,x2) & n_date(x3) & a_date_day_03(x3) & a_date_day_03(x3) & Actor(e1,x1) & v_onlook(e1) & (x1 = x2) & n_date(x1) & a_date_day_04(x1) & a_date_day_04(x1))
exists e1 e2 p1 p2 s1 x1 x2.(n_thing(x2) & n_man(x2) & Topic(e2,p2) & Actor(e2,x2) & v_like(e2) & exists e4.(Actor(e4,x2) & v_watch(e4)) & exists e3 x3.(Theme(e3,x3) & Actor(e3,x1) & v_play(e3) & n_soccer(x3)) & Topic(e1,p1) & Actor(e1,x1) & v_enjoy(e1) & of(x1,x2) & n_all(x1) & a_not(s1) & Theme(s1,x1))