A man is walking along a brick wall with writing on it.
The man is sitting next to the brick wall with writing on it.
one cannot be walking and sitting simultaneously.
exists e1 e2 x1 x2 x3 x4.(along(e1,x3) & n_wall(x3) & of(x3,x4) & n_brick(x4) & with(e1,e2) & on(e2,x1) & n_thing(x1) & Actor(e2,x2) & v_write(e2) & Actor(e1,x1) & v_walk(e1) & n_man(x1))
exists e1 e2 x1 x2 x3 x4.(n_thing(x2) & n_wall(x2) & of(x2,x3) & n_brick(x3) & n_man(x1) & with(e1,e2) & on(e2,x2) & Actor(e2,x4) & v_write(e2) & n_thing(x4) & to(e1,x2) & r_next(e1) & Actor(e1,x1) & v_sit(e1))