A man sits on a blue scooter in the street.
The man is at the mall.
One cannot be in the street and at the mall at the same time.
exists e1 s1 x1 x2 x3.(n_street(x3) & in(e1,x3) & on(e1,x2) & n_scooter(x2) & a_blue(s1) & Theme(s1,x2) & Actor(e1,x1) & v_sit(e1) & n_man(x1))
exists p1 x1 x2.(n_mall(x2) & n_man(x1) & at(x1,x2))