A martial arts class during which one student is holding a board broken by another student while others watch.
No one in the class has ever practiced any form of martial arts ever.
If no one in the class has ever practiced any form of martial arts ever, a board cannot be broken by another student.
exists e1 e2 p1 s1 x1 x2 x3 x4 x5 x6.(a_topic(x5) & during(e2,x5) & n_class(x5) & of(x5,x6) & n_art(x6) & a_martial(s1) & Theme(s1,x5) & Theme(e2,x2) & Actor(e2,x1) & v_hold(e2) & exists e3 x7.(Actor(e3,x7) & v_watch(e3) & -(x7 = x1) & n_person(x7)) & n_person(x1) & while(e1,p1) & Actor(e1,x4) & n_student(x4) & -(x4 = x1) & n_student(x1) & n_student(x1) & Theme(e1,x3) & v_break(e1) & (x2 = x3) & n_board(x2) & card_eq_1(x1))
exists x2.(n_class(x2) & -exists x1.(all x3.(n_form(x3) -> exists e1 s1 s2 s3 x4.(a_ever(s3) & Manner(e1,s3) & a_ever(s2) & Manner(e1,s2) & Theme(e1,x3) & Actor(e1,x1) & v_practice(e1) & of(x3,x4) & n_art(x4) & a_martial(s1) & Theme(s1,x4))) & in(x1,x2) & n_one(x1)))