There are two men in orange life vests signaling to a cruise ship docking at a pier.
There are mariners outside
A pier does not indicate Mariners
exists p1 x1 e1 x2 x3 x4 x5 x6 x7 x8 x9 x10.((x1 = x2) & to(e1,x7) & at(x7,x10) & n_pier(x10) & n_docking(x7) & of(x7,x9) & n_ship(x9) & of(x7,x8) & n_cruise(x8) & Actor(e1,x6) & v_signal(e1) & (x2 = x6) & in(x2,x3) & n_vest(x3) & of(x3,x5) & n_life(x5) & of(x3,x4) & n_orange(x4) & n_man(x2) & card_eq_2(x2))
exists p1 s1 x1.(a_outside(s1) & Manner(p1,s1) & exists x2.((x1 = x2) & n_mariner(x2)))