Two wrestlers competing on a mat in front of a crowd of onlookers.
Two wrestlers are having lunch in the cafeteria.
Wrestlers can't be competing at the same time that they are having lunch.
exists e1 x1 x2 x3 x4 x5 x6.(a_topic(x1) & on(e1,x3) & in(x3,x4) & of(x4,x5) & of(x5,x6) & n_onlooker(x6) & n_crowd(x5) & n_front(x4) & n_mat(x3) & Actor(e1,x2) & v_compete(e1) & (x1 = x2) & n_wrestler(x1) & card_eq_2(x1))
exists e1 x1 x2 x3.(n_cafeteria(x3) & in(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_lunch(x2) & n_wrestler(x1) & card_eq_2(x1))