TSPC 562_a_dick

562_a_dick_1952
And presently, from the ship, a line of people came, each carrying something in his hands.

( (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))

arc(r_0562_0008__a_r_0562_0009__line,r_0562_0011__people,r_0562_0010__of).
arc(r_0562_0012__came,r_0562_0002__presently,nim).
arc(r_0562_0012__came,r_0562_0005__the_r_0562_0006__ship,r_0562_0004__from__nim).
arc(r_0562_0012__came,r_0562_0008__a_r_0562_0009__line,arg0).
arc(r_0562_0014__each__quant,r_0562_0015__carrying,scope).
arc(r_0562_0014__each__quant,z_0562_5009,restriction).
arc(r_0562_0015__carrying,r_0562_0016__something,arg1).
arc(r_0562_0015__carrying,r_0562_0019__hands,r_0562_0017__in__nim).
arc(r_0562_0015__carrying,z_0562_5009,arg0).
arc(r_0562_0019__hands,r_0562_0011__people,gen).
arc(z_0562_5005,r_0562_0012__came,scope).
arc(z_0562_5005,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_0012__CAME,Z_0562_5005] :
      ( 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_0562_5005(Z_0562_5005)
      & ! [Z_0562_5009] :
          ( z_0562_5009(Z_0562_5009)
         => ? [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_0562_5009)
              & has_r_0562_0017__in__nim(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_0562_5005,R_0562_0012__CAME)
      & r_0562_0012__came(R_0562_0012__CAME)
      & has_arg0(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__nim(R_0562_0012__CAME,R_0562_0005__THE_R_0562_0006__SHIP)
      & has_nim(R_0562_0012__CAME,R_0562_0002__PRESENTLY) ) ).