One person is wearing a green shirt while sleeping on the sidewalk while another person wearing black pants is sleeping on the stairs.
Two men are watching TV inside the house.
Two people watching TV inside the house cannot be outside on the sidewalk and stairs.
exists e1 e2 p1 s1 x1 x2 x3 x7.(n_stair(x7) & n_sidewalk(x3) & while(e1,e2) & exists e3 e4 s2 x4 x5 x6.(on(e4,x7) & Actor(e4,x4) & v_sleep(e4) & Theme(e3,x6) & Actor(e3,x5) & v_wear(e3) & n_pants(x6) & a_black(s2) & Theme(s2,x6) & (x4 = x5) & n_person(x4) & -(x4 = x1)) & n_person(x1) & n_person(x1) & while(e2,p1) & on(e2,x3) & Actor(e2,x1) & v_sleep(e2) & Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_shirt(x2) & a_green(s1) & Theme(s1,x2) & card_eq_1(x1))
exists e1 x1 x2 x3.(n_house(x3) & inside(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_watch(e1) & n_tv(x2) & n_man(x1) & card_eq_2(x1))