Two men- one wearing a blue cap, two-toned blue shirt, and gray trousers, the other hatless and in dark-colored shorts- stand in a green cherry-picker amid utility wires and leafy tree-tops.
The men are wearing different clothes.
Two men- one wearing a blue cap, two-toned blue shirt, and gray trousers, the other hatless and in dark-colored shorts-means men are wearing different clothes
exists e2 e1 s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17.(-(x6 = x6) & n_hatless(x6) & in(e2,x12) & in(x12,x13) & amid(x13,x14) & subset_of(x17,x14) & n_tree-top(x17) & a_leafy(s14) & Theme(s14,x17) & subset_of(x15,x14) & n_wire(x15) & of(x15,x16) & n_utility(x16) & n_cherry-picker(x13) & a_green(s13) & Theme(s13,x13) & n_stand(x12) & a_shorts-(s12) & Theme(s12,x12) & a_dark-colored(s11) & Theme(s11,x12) & Theme(e2,x8) & Actor(e2,x7) & v_wear(e2) & subset_of(x11,x8) & n_trousers(x11) & a_gray(s10) & Theme(s10,x11) & subset_of(x9,x8) & rel(x9,x10) & n_shirt(x10) & a_blue(s9) & Theme(s9,x10) & a_two-toned(s8) & Theme(s8,x10) & n_cap(x9) & a_blue(s7) & Theme(s7,x9) & n_thing(x7) & card_eq_1(x7) & a_men-(s6) & Theme(s6,x7) & card_eq_2(x7) & rel(e1,x6) & Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & subset_of(x5,x2) & n_trousers(x5) & a_gray(s5) & Theme(s5,x5) & subset_of(x3,x2) & rel(x3,x4) & n_shirt(x4) & a_blue(s4) & Theme(s4,x4) & a_two-toned(s3) & Theme(s3,x4) & n_cap(x3) & a_blue(s2) & Theme(s2,x3) & n_thing(x1) & card_eq_1(x1) & a_men-(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 x1 x2 x3.(n_clothes(x3) & n_man(x1) & Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & -(x2 = x3) & n_clothes(x2))