A young girl sits with her back to a boy and girl at a dinner table while all three concentrate on their electronic devices.
Two girls are sleeping in a bunk bed.
There is a boy with the two young girls. If they are sitting at the dinner table on their electronic devices, then they would not be sleeping at the same time.
exists e1 s1 s2 x1 x2 x3 x4 x5 x6 x7 x9.(all x8.((n_concentrate(x8) & card_eq_3(x8)) -> (on(e1,x9) & while(e1,x8))) & n_device(x9) & a_electronic(s2) & Theme(s2,x9) & of(x9,x1) & n_thing(x1) & at(e1,x6) & n_table(x6) & of(x6,x7) & n_dinner(x7) & with(e1,x2) & to(x2,x3) & n_girl(x5) & n_boy(x4) & subset_of(x5,x3) & subset_of(x4,x3) & n_back(x2) & of(x2,x1) & n_female(x1) & Actor(e1,x1) & v_sit(e1) & n_girl(x1) & a_young(s1) & Theme(s1,x1))
exists e1 x1 x2 x3.(in(e1,x2) & n_bed(x2) & of(x2,x3) & n_bunk(x3) & Actor(e1,x1) & v_sleep(e1) & n_girl(x1) & card_eq_2(x1))