Some ladies on an outing.
The group of ladies are all at work in the office.
If the ladies are on an outing, then it is impossible for them to be at work in the office.
exists x1 x2.(a_topic(x1) & on(x1,x2) & n_outing(x2) & n_lady(x1))
exists p1 x1 x2 x3.(n_office(x3) & n_group(x1) & in(p1,x3) & exists x4.(r_all(x1) & at(x1,x4) & n_work(x4)) & of(x1,x2) & n_lady(x2))