Seven people are using PC table in a round table.
All of the PC computers are turned on.
People using the computers does not imply that all of them are turned on.
exists e1 x1 x2 x3 x4 x5.(in(e1,x4) & n_table(x4) & of(x4,x5) & n_round(x5) & Theme(e1,x2) & Actor(e1,x1) & v_use(e1) & n_table(x2) & of(x2,x3) & n_pc(x3) & n_people(x1) & card_eq_7(x1))
exists x2 x3.(n_computer(x2) & of(x2,x3) & n_pc(x3) & all x1.(n_thing(x1) -> exists e1 s1.(a_on(s1) & Manner(e1,s1) & Theme(e1,x1) & v_turn(e1) & of(x1,x2))))