A man in a red shirt is walking on the street.
The man is inside his house
The man cannot be inside his house while he is walking down the street.
exists e1 s1 x1 x2 x3.(n_street(x3) & on(e1,x3) & Actor(e1,x1) & v_walk(e1) & in(x1,x2) & n_shirt(x2) & a_red(s1) & Theme(s1,x2) & n_man(x1))
exists p1 x1 x2.(n_house(x2) & of(x2,x1) & n_male(x1) & n_man(x1) & inside(x1,x2))