Seven men wearing cowboy hats are near the fence of a rodeo field while one contestant is in the process of roping an animal.
The men wearing cowboy hats are in the saloon.
The men cannot be near the fence if they are in the saloon.
exists e1 p1 p2 x1 x2 x3 x4 x5 x9.(n_process(x9) & n_fence(x5) & exists p3 x8.(exists e2 x10 x11.(in(x8,x9) & Theme(e2,x11) & Actor(e2,x10) & v_rope(e2) & n_animal(x11) & (x9 = x10)) & n_contestant(x8) & card_eq_1(x8)) & while(p1,p2) & exists x6 x7.(near(x1,x5) & of(x5,x6) & n_field(x6) & of(x6,x7) & n_rodeo(x7)) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_hat(x3) & of(x3,x4) & n_cowboy(x4) & (x1 = x2) & n_man(x1) & card_eq_7(x1))
exists e1 p1 x1 x2 x3 x4 x5.(n_saloon(x5) & n_man(x1) & in(x1,x5) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_hat(x3) & of(x3,x4) & n_cowboy(x4) & (x1 = x2))