A man wearing white shorts and a black tank top next to a man with red shorts and a black shirt walking on the sidewalk.
There are two men.
There are two men because one wears white shorts and another wears red shorts.
exists e1 s1 s2 s3 s4 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13.(n_sidewalk(x13) & a_topic(x1) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & subset_of(x5,x3) & to(x7,x8) & subset_of(x11,x8) & on(x11,x13) & n_walking(x11) & of(x11,x12) & n_shirt(x12) & a_black(s4) & Theme(s4,x11) & subset_of(x9,x8) & with(x9,x10) & n_shorts(x10) & a_red(s3) & Theme(s3,x10) & n_man(x9) & next(x5,x7) & n_thing(x7) & n_top(x5) & of(x5,x6) & n_tank(x6) & a_black(s2) & Theme(s2,x5) & subset_of(x4,x3) & n_shorts(x4) & a_white(s1) & Theme(s1,x4) & (x1 = x2) & n_man(x1))
exists p1 x1 x2.((x1 = x2) & n_man(x2) & card_eq_2(x2))