A teacher and three of her students all enjoy a small dose of learning through technology.
All aspects of technology are banned from this classroom.
Technology and banned are different.
exists x1 x2 x3 x5.(all x4.((x4 = x5) -> exists e1 e2 s1 x6 x7 x8.(Theme(e2,x6) & Actor(e2,x1) & v_enjoy(e2) & through(e1,x8) & n_technology(x8) & Actor(e1,x7) & v_learn(e1) & (x6 = x7) & n_dose(x6) & a_small(s1) & Theme(s1,x6) & of(x1,x4))) & n_student(x5) & of(x5,x2) & n_female(x2) & n_thing(x3) & card_eq_3(x3) & n_teacher(x2) & subset_of(x3,x1) & subset_of(x2,x1))
exists x3.(n_classroom(x3) & all x1.(n_aspect(x1) -> exists e1 x2.(from(e1,x3) & Theme(e1,x1) & v_ban(e1) & of(x1,x2) & n_technology(x2))))