A conference is being held that involves laptops and big screen presentations.
All information at the conference will be distributed by paper.
Information is either on the big screen or distributed by paper.
exists e1 e2 s1 x1 x2 x3 x4 x5 x6.(that(e1,e2) & Theme(e2,x3) & Actor(e2,x2) & v_involve(e2) & subset_of(x5,x3) & n_presentation(x5) & of(x5,x6) & n_screen(x6) & a_big(s1) & Theme(s1,x5) & subset_of(x4,x3) & n_laptop(x4) & n_thing(x2) & Theme(e1,x1) & v_hold(e1) & n_conference(x1))
exists x2.(n_conference(x2) & all x1.(n_information(x1) -> exists e1 x3.(Actor(e1,x3) & n_paper(x3) & Theme(e1,x1) & v_distribute(e1) & at(x1,x2))))