Three young children are fixed to their smartphones at the dinner table.
Some kids stare at their phones at the table.
The three young children at the dinner table are kids. Smartphones are 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.(n_table(x3) & at(e1,x2) & at(x2,x3) & n_phone(x2) & of(x2,x1) & n_thing(x1) & Actor(e1,x1) & v_stare(e1) & n_kid(x1))