Several men dressed in cowboy boots and hats are hanging around, and one man is getting his shoes shined.
a group of cowboys are getting all of their shoes shined
One man getting his shoes shined doesn't necessarily mean the men are getting all of their shoes shined.
exists e2 e1 e4 e3 p1 s1 x1 x2 x3 x4 x5 x6 x7 x8 x9.(Theme(e4,x8) & Actor(e4,x7) & v_get(e4) & Actor(e3,x9) & v_shine(e3) & (x8 = x9) & n_shoe(x8) & of(x8,x1) & n_male(x1) & n_man(x7) & card_eq_1(x7) & exists s2.(Theme(s2,x1) & a_around(s2)) & Topic(e2,p1) & Actor(e2,x1) & v_hang(e2) & in(e1,x3) & n_hat(x6) & n_boot(x5) & subset_of(x6,x3) & subset_of(x5,x3) & of(x3,x4) & n_cowboy(x4) & Theme(e1,x2) & v_dress(e1) & (x1 = x2) & n_man(x1) & a_several(s1) & Theme(s1,x1))
exists x1 x2 x4.(all x3.(n_thing(x3) -> exists e2 e1 x5.(Theme(e2,x3) & Actor(e2,x1) & v_get(e2) & of(x3,x4) & Theme(e1,x5) & v_shine(e1) & (x4 = x5))) & n_shoe(x4) & of(x4,x1) & n_thing(x1) & of(x1,x2) & n_cowboy(x2) & n_group(x1))