A man sits outside a chinese restaurant below a mailbox.
A man is standing outside of a italian restaurant.
If someone is standing then they are not sitting. A Chinese restaurant is not an Italian restaurant.
exists e1 s1 x1 x2 x3.(outside(e1,x2) & below(x2,x3) & n_mailbox(x3) & n_restaurant(x2) & a_chinese(s1) & Theme(s1,x2) & Actor(e1,x1) & v_sit(e1) & n_man(x1))
exists e1 s1 x1 x2.(of(e1,x2) & n_restaurant(x2) & a_italian(s1) & Theme(s1,x2) & r_outside(e1) & Actor(e1,x1) & v_stand(e1) & n_man(x1))