Two men, dressed in black, are standing on a sidewalk in an urban area while one lights a cigarette.
The two men dressed in black are from the movie, "Men in Black."
not all men dressed in black are from the movie men in black
exists e1 e2 s1 s2 x1 x2 x3 x4 x5.(all x6.(n_cigarette(x6) -> exists x7.(while(e2,x7) & for(x7,x6) & n_light(x7) & card_eq_1(x7))) & in(e2,x5) & n_area(x5) & a_urban(s2) & Theme(s2,x5) & on(e2,x4) & n_sidewalk(x4) & Actor(e2,x1) & v_stand(e2) & Theme(e1,s1) & Theme(s1,x3) & a_black(s1) & Theme(e1,x2) & v_dress(e1) & (x1 = x2) & n_man(x1) & card_eq_2(x1))
exists e1 p1 s1 x1 x2 x3 x4 x6.(ne_org_black(x6) & n_movie(x4) & n_man(x1) & card_eq_2(x1) & exists x5.(from(x1,x4) & rel(x4,x5) & in(x5,x6) & n_man(x5)) & Theme(e1,s1) & Theme(s1,x3) & a_black(s1) & Theme(e1,x2) & v_dress(e1) & (x1 = x2))