Three young children are fixed to their smartphones at the dinner table.
Kids eat dinner and don't even have phones.
If they are fixed to their smartphones, then it would be incorrect to say that they don't even have phones.
exists e1 s1 x1 x2 x3 x4.(n_table(x3) & of(x3,x4) & n_dinner(x4) & at(e1,x3) & to(e1,x2) & n_smartphone(x2) & of(x2,x1) & n_thing(x1) & Theme(e1,x1) & v_fix(e1) & n_child(x1) & a_young(s1) & Theme(s1,x1) & card_eq_3(x1))
exists e1 x1 x2 x3.(-exists e2 s1 x4.(a_even(s1) & Manner(e2,s1) & Theme(e2,x4) & Actor(e2,x3) & v_have(e2) & n_phone(x4)) & n_kid(x3) & Theme(e1,x2) & Actor(e1,x1) & v_eat(e1) & n_dinner(x2) & n_kid(x1))