The restaurant staff are cleaning up the tables.
The employees are smearing ketchup all over the tables.
Smearing ketchup on tables is the opposite of cleaning.
exists e1 s1 x1 x2 x3.(n_table(x3) & n_staff(x1) & of(x1,x2) & n_restaurant(x2) & a_up(s1) & Manner(e1,s1) & Theme(e1,x3) & Actor(e1,x1) & v_clean(e1))
exists e1 x1 x2 x3.(n_table(x3) & n_employee(x1) & r_all(e1) & over(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_smear(e1) & n_ketchup(x2))