A teacher and three of her students all enjoy a small dose of learning through technology.
A computer science class in progress.
It is not implied that a computer science class is in progress.
exists x1 x2 x3 x5.(all x4.((x4 = x5) -> exists e2 e1 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 x1 x2 x3 x4.(a_topic(x1) & in(x1,x4) & n_progress(x4) & n_class(x1) & of(x1,x3) & n_science(x3) & of(x1,x2) & n_computer(x2))