Two jacketed men with double-barreled shotguns carry home prey that they have shot on a hunting trip on a muddy country road.
Two men are sleeping.
Either the men are carrying their prey home or they are sleeping. They cannot do both simultaneously.
exists e2 e1 e3 s1 s2 s3 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10.(Theme(e3,x3) & Actor(e3,x1) & v_carry(e3) & on(e2,x7) & on(x7,x9) & n_road(x9) & of(x9,x10) & n_country(x10) & a_muddy(s3) & Theme(s3,x9) & n_trip(x7) & of(x7,x8) & n_hunting(x8) & Theme(e2,x6) & v_shoot(e2) & (x3 = x6) & Theme(e1,x5) & Actor(e1,x1) & v_have(e1) & (x3 = x5) & n_thing(x1) & n_prey(x3) & of(x3,x4) & n_home(x4) & with(x1,x2) & n_shotgun(x2) & a_double-barreled(s2) & Theme(s2,x2) & n_man(x1) & a_jacketed(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 x1.(Actor(e1,x1) & v_sleep(e1) & n_man(x1) & card_eq_2(x1))