arc(r_0562_0001__And_r_0562_0012__came, r_0562_0002__presently, nim4).
arc(r_0562_0001__And_r_0562_0012__came, r_0562_0005__the_r_0562_0006__ship, r_0562_0004__from_nim12).
arc(r_0562_0001__And_r_0562_0012__came, r_0562_0008__a_r_0562_0009__line, arg0).
arc(r_0562_0008__a_r_0562_0009__line, r_0562_0011__people, r_0562_0010__of).
arc(r_0562_0014__each_quant, r_0562_0015__carrying, scope).
arc(r_0562_0014__each_quant, z_000_562_a_dick_1952_36, restriction).
arc(r_0562_0015__carrying, r_0562_0016__something, arg1).
arc(r_0562_0015__carrying, r_0562_0019__hands, r_0562_0017__in_nim47).
arc(r_0562_0015__carrying, z_000_562_a_dick_1952_36, arg0).
arc(r_0562_0019__hands, r_0562_0011__people, gen).
arc(z_000_562_a_dick_1952_34, r_0562_0001__And_r_0562_0012__came, scope).
arc(z_000_562_a_dick_1952_34, r_0562_0014__each_quant, restriction).

fof(formula,axiom,
    ? [R_0562_0002__PRESENTLY,R_0562_0005__THE_R_0562_0006__SHIP,R_0562_0011__PEOPLE,R_0562_0008__A_R_0562_0009__LINE,R_0562_0001__AND_R_0562_0012__CAME,Z_000_562_A_DICK_1952_34] :
      ( r_0562_0002__presently(R_0562_0002__PRESENTLY)
      & r_0562_0005__the_r_0562_0006__ship(R_0562_0005__THE_R_0562_0006__SHIP)
      & r_0562_0011__people(R_0562_0011__PEOPLE)
      & z_000_562_a_dick_1952_34(Z_000_562_A_DICK_1952_34)
      & ! [Z_000_562_A_DICK_1952_36] :
          ( z_000_562_a_dick_1952_36(Z_000_562_A_DICK_1952_36)
         => ? [R_0562_0016__SOMETHING,R_0562_0019__HANDS,R_0562_0015__CARRYING] :
              ( r_0562_0016__something(R_0562_0016__SOMETHING)
              & r_0562_0015__carrying(R_0562_0015__CARRYING)
              & has_arg0(R_0562_0015__CARRYING,Z_000_562_A_DICK_1952_36)
              & has_r_0562_0017__in_nim47(R_0562_0015__CARRYING,R_0562_0019__HANDS)
              & r_0562_0019__hands(R_0562_0019__HANDS)
              & has_gen(R_0562_0019__HANDS,R_0562_0011__PEOPLE)
              & has_arg1(R_0562_0015__CARRYING,R_0562_0016__SOMETHING) ) )
      & has_conj2(Z_000_562_A_DICK_1952_34,R_0562_0001__AND_R_0562_0012__CAME)
      & r_0562_0001__And_r_0562_0012__came(R_0562_0001__AND_R_0562_0012__CAME)
      & has_arg0(R_0562_0001__AND_R_0562_0012__CAME,R_0562_0008__A_R_0562_0009__LINE)
      & r_0562_0008__a_r_0562_0009__line(R_0562_0008__A_R_0562_0009__LINE)
      & has_r_0562_0010__of(R_0562_0008__A_R_0562_0009__LINE,R_0562_0011__PEOPLE)
      & has_r_0562_0004__from_nim12(R_0562_0001__AND_R_0562_0012__CAME,R_0562_0005__THE_R_0562_0006__SHIP)
      & has_nim4(R_0562_0001__AND_R_0562_0012__CAME,R_0562_0002__PRESENTLY) ) ).

( (IP-MAT (CONJ;_cl_ And;{and})
          (ADVP-NIM (ADV presently;{presently}))
          (PUNC ,)
          (PP-NIM (P-ROLE from;{from})
                  (NP (D the;{the})
                      (N ship;{ship})))
          (PUNC ,)
          (NP-SBJ (D a;{a})
                  (N line;{line})
                  (PP (P-ROLE of;{of})
                      (NP;{TRESPASSERS} (NS people;{people}))))
          (VBD;_I_ came;{come})
          (PUNC ,)
          (PP-SCON (IP-PPL3 (NP-SBJ (Q;_nphd_ each;{each}))
                            (VAG;_Tn_ carrying;{carry})
                            (NP-OB1 (D;_nphd_ something;{something}))
                            (PP-NIM (P-ROLE in;{in})
                                    (NP (NP-GEN;{TRESPASSERS} (PRO;_genm_ his;{his}))
                                        (NS hands;{hand})))))
          (PUNC .))
  (ID 562_a_dick_1952))