Two men are sitting on a pile of fishing nets on a dock next to an elaborately designed fishing vessel.
The men do not have any nets.
The men either have nets or do not.
exists e2 e1 x1 x2 x3 x4 x5 x6 x7 x8.(on(e1,x2) & of(x2,x3) & on(x3,x5) & to(x6,x7) & n_vessel(x7) & of(x7,x8) & n_fishing(x8) & Theme(e2,x7) & v_design(e2) & r_elaborately(x7) & next(x5,x6) & n_thing(x6) & n_dock(x5) & n_net(x3) & of(x3,x4) & n_fishing(x4) & n_pile(x2) & Actor(e1,x1) & v_sit(e1) & n_man(x1) & card_eq_2(x1))
exists x1.(n_man(x1) & -all x2.(n_net(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_have(e1))))