Two men are in the street while one is holding flowers.
Two people are outside.
Two men and two people are equivalent and they in the street means are outside.
exists p1 p2 x1 x2.(n_street(x2) & exists e1 x3 x4.(Theme(e1,x4) & Actor(e1,x3) & v_hold(e1) & n_flower(x4) & n_thing(x3) & card_eq_1(x3)) & while(p1,p2) & in(x1,x2) & n_man(x1) & card_eq_2(x1))
exists s1 x1.(Theme(s1,x1) & a_outside(s1) & n_people(x1) & card_eq_2(x1))