Context                Previous, Next                Top


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

%3 r_0562_0001__And_r_0562_0012__came And came r_0562_0002__presently presently r_0562_0001__And_r_0562_0012__came->r_0562_0002__presently [nim] r_0562_0005__the_r_0562_0006__ship the ship r_0562_0001__And_r_0562_0012__came->r_0562_0005__the_r_0562_0006__ship from [nim] r_0562_0008__a_r_0562_0009__line a line r_0562_0001__And_r_0562_0012__came->r_0562_0008__a_r_0562_0009__line [arg0] r_0562_0011__people people r_0562_0008__a_r_0562_0009__line->r_0562_0011__people of r_0562_0014__each_quant each [quant] r_0562_0015__carrying carrying r_0562_0014__each_quant->r_0562_0015__carrying [scope] z_000_562_a_dick_1952_36 r_0562_0014__each_quant->z_000_562_a_dick_1952_36 [restriction] r_0562_0015__carrying->z_000_562_a_dick_1952_36 [arg0] r_0562_0016__something something r_0562_0015__carrying->r_0562_0016__something [arg1] r_0562_0019__hands hands r_0562_0015__carrying->r_0562_0019__hands in [nim] r_0562_0019__hands->r_0562_0011__people [gen] z_000_562_a_dick_1952_34 z_000_562_a_dick_1952_34->r_0562_0001__And_r_0562_0012__came [scope] z_000_562_a_dick_1952_34->r_0562_0014__each_quant [restriction] 
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).


%3 z_000_562_a_dick_1952_34 r_0562_0014__each_quant each [quant] z_000_562_a_dick_1952_34->r_0562_0014__each_quant [conj1] r_0562_0001__And_r_0562_0012__came And came z_000_562_a_dick_1952_34->r_0562_0001__And_r_0562_0012__came [conj2] r_0562_0015__carrying carrying r_0562_0014__each_quant->r_0562_0015__carrying [scope] z_000_562_a_dick_1952_36 r_0562_0014__each_quant->z_000_562_a_dick_1952_36 [restriction] r_0562_0008__a_r_0562_0009__line a line r_0562_0001__And_r_0562_0012__came->r_0562_0008__a_r_0562_0009__line [arg0] r_0562_0005__the_r_0562_0006__ship the ship r_0562_0001__And_r_0562_0012__came->r_0562_0005__the_r_0562_0006__ship from [nim] r_0562_0002__presently presently r_0562_0001__And_r_0562_0012__came->r_0562_0002__presently [nim] r_0562_0019__hands hands r_0562_0011__people people r_0562_0019__hands->r_0562_0011__people [gen] r_0562_0015__carrying->r_0562_0019__hands in [nim] r_0562_0015__carrying->z_000_562_a_dick_1952_36 [arg0] r_0562_0016__something something r_0562_0015__carrying->r_0562_0016__something [arg1] r_0562_0008__a_r_0562_0009__line->r_0562_0011__people of 
fof(formula,axiom,
    ? [Z_562_A_DICK_1952_34,R_562_1_AND_CAME,R_562_8_A_LINE,R_562_11_PEOPLE,R_562_2_PRESENTLY,R_562_5_THE_SHIP] :
      ( people(R_562_11_PEOPLE)
      & presently(R_562_2_PRESENTLY)
      & the_ship(R_562_5_THE_SHIP)
      & ! [Z_562_A_DICK_1952_36] :
          ( true
         => ? [R_562_15_CARRYING,R_562_16_SOMETHING,R_562_19_HANDS] :
              ( something(R_562_16_SOMETHING)
              & carrying(R_562_15_CARRYING,Z_562_A_DICK_1952_36,R_562_16_SOMETHING)
              & in_nim47(R_562_15_CARRYING,R_562_19_HANDS)
              & hands(R_562_19_HANDS)
              & gen(R_562_19_HANDS,R_562_11_PEOPLE) ) )
      & conj1(CONJ1)
      & z_562_a_dick_1952_34(Z_562_A_DICK_1952_34)
      & conj2(Z_562_A_DICK_1952_34,R_562_1_AND_CAME)
      & and_came(R_562_1_AND_CAME,R_562_8_A_LINE)
      & a_line(R_562_8_A_LINE)
      & of(R_562_8_A_LINE,R_562_11_PEOPLE)
      & nim4(R_562_1_AND_CAME,R_562_2_PRESENTLY)
      & from_nim12(R_562_1_AND_CAME,R_562_5_THE_SHIP) ) ).


n562_a_dick_1952 n562_a_dick_1952__1_1_1 And n562_a_dick_1952__1_2_1_1 presently n562_a_dick_1952__1_3_1 , n562_a_dick_1952__1_4_1_1 from n562_a_dick_1952__1_4_2_1_1 the n562_a_dick_1952__1_4_2_2_1 ship n562_a_dick_1952__1_5_1 , n562_a_dick_1952__1_6_1_1 a n562_a_dick_1952__1_6_2_1 line n562_a_dick_1952__1_6_3_1_1 of n562_a_dick_1952__1_6_3_2_1_1 people n562_a_dick_1952__1_7_1 came n562_a_dick_1952__1_8_1 , n562_a_dick_1952__1_9_1_1_1_1 each n562_a_dick_1952__1_9_1_2_1 carrying n562_a_dick_1952__1_9_1_3_1_1 something n562_a_dick_1952__1_9_1_4_1_1 in n562_a_dick_1952__1_9_1_4_2_1_1_1 his n562_a_dick_1952__1_9_1_4_2_2_1 hands n562_a_dick_1952__1_10_1 . n562_a_dick_1952__1 IP-MAT n562_a_dick_1952__1_1 CONJ;_cl_ n562_a_dick_1952__1->n562_a_dick_1952__1_1 n562_a_dick_1952__1_2 ADVP-NIM n562_a_dick_1952__1->n562_a_dick_1952__1_2 n562_a_dick_1952__1_3 PUNC n562_a_dick_1952__1->n562_a_dick_1952__1_3 n562_a_dick_1952__1_4 PP-NIM n562_a_dick_1952__1->n562_a_dick_1952__1_4 n562_a_dick_1952__1_5 PUNC n562_a_dick_1952__1->n562_a_dick_1952__1_5 n562_a_dick_1952__1_6 NP-SBJ n562_a_dick_1952__1->n562_a_dick_1952__1_6 n562_a_dick_1952__1_7 VBD;_I_ n562_a_dick_1952__1->n562_a_dick_1952__1_7 n562_a_dick_1952__1_8 PUNC n562_a_dick_1952__1->n562_a_dick_1952__1_8 n562_a_dick_1952__1_9 PP-SCON n562_a_dick_1952__1->n562_a_dick_1952__1_9 n562_a_dick_1952__1_10 PUNC n562_a_dick_1952__1->n562_a_dick_1952__1_10 n562_a_dick_1952__1_1->n562_a_dick_1952__1_1_1 n562_a_dick_1952__1_2_1 ADV n562_a_dick_1952__1_2->n562_a_dick_1952__1_2_1 n562_a_dick_1952__1_2_1->n562_a_dick_1952__1_2_1_1 n562_a_dick_1952__1_3->n562_a_dick_1952__1_3_1 n562_a_dick_1952__1_4_1 P-ROLE n562_a_dick_1952__1_4->n562_a_dick_1952__1_4_1 n562_a_dick_1952__1_4_2 NP n562_a_dick_1952__1_4->n562_a_dick_1952__1_4_2 n562_a_dick_1952__1_4_1->n562_a_dick_1952__1_4_1_1 n562_a_dick_1952__1_4_2_1 D n562_a_dick_1952__1_4_2->n562_a_dick_1952__1_4_2_1 n562_a_dick_1952__1_4_2_2 N n562_a_dick_1952__1_4_2->n562_a_dick_1952__1_4_2_2 n562_a_dick_1952__1_4_2_1->n562_a_dick_1952__1_4_2_1_1 n562_a_dick_1952__1_4_2_2->n562_a_dick_1952__1_4_2_2_1 n562_a_dick_1952__1_5->n562_a_dick_1952__1_5_1 n562_a_dick_1952__1_6_1 D n562_a_dick_1952__1_6->n562_a_dick_1952__1_6_1 n562_a_dick_1952__1_6_2 N n562_a_dick_1952__1_6->n562_a_dick_1952__1_6_2 n562_a_dick_1952__1_6_3 PP n562_a_dick_1952__1_6->n562_a_dick_1952__1_6_3 n562_a_dick_1952__1_6_1->n562_a_dick_1952__1_6_1_1 n562_a_dick_1952__1_6_2->n562_a_dick_1952__1_6_2_1 n562_a_dick_1952__1_6_3_1 P-ROLE n562_a_dick_1952__1_6_3->n562_a_dick_1952__1_6_3_1 n562_a_dick_1952__1_6_3_2 NP n562_a_dick_1952__1_6_3->n562_a_dick_1952__1_6_3_2 n562_a_dick_1952__1_6_3_1->n562_a_dick_1952__1_6_3_1_1 n562_a_dick_1952__1_6_3_2_1 NS n562_a_dick_1952__1_6_3_2->n562_a_dick_1952__1_6_3_2_1 n562_a_dick_1952__1_6_3_2_1->n562_a_dick_1952__1_6_3_2_1_1 n562_a_dick_1952__1_7->n562_a_dick_1952__1_7_1 n562_a_dick_1952__1_8->n562_a_dick_1952__1_8_1 n562_a_dick_1952__1_9_1 IP-PPL3 n562_a_dick_1952__1_9->n562_a_dick_1952__1_9_1 n562_a_dick_1952__1_9_1_1 NP-SBJ n562_a_dick_1952__1_9_1->n562_a_dick_1952__1_9_1_1 n562_a_dick_1952__1_9_1_2 VAG;_Tn_ n562_a_dick_1952__1_9_1->n562_a_dick_1952__1_9_1_2 n562_a_dick_1952__1_9_1_3 NP-OB1 n562_a_dick_1952__1_9_1->n562_a_dick_1952__1_9_1_3 n562_a_dick_1952__1_9_1_4 PP-NIM n562_a_dick_1952__1_9_1->n562_a_dick_1952__1_9_1_4 n562_a_dick_1952__1_9_1_1_1 Q;_nphd_ n562_a_dick_1952__1_9_1_1->n562_a_dick_1952__1_9_1_1_1 n562_a_dick_1952__1_9_1_1_1->n562_a_dick_1952__1_9_1_1_1_1 n562_a_dick_1952__1_9_1_2->n562_a_dick_1952__1_9_1_2_1 n562_a_dick_1952__1_9_1_3_1 D;_nphd_ n562_a_dick_1952__1_9_1_3->n562_a_dick_1952__1_9_1_3_1 n562_a_dick_1952__1_9_1_3_1->n562_a_dick_1952__1_9_1_3_1_1 n562_a_dick_1952__1_9_1_4_1 P-ROLE n562_a_dick_1952__1_9_1_4->n562_a_dick_1952__1_9_1_4_1 n562_a_dick_1952__1_9_1_4_2 NP n562_a_dick_1952__1_9_1_4->n562_a_dick_1952__1_9_1_4_2 n562_a_dick_1952__1_9_1_4_1->n562_a_dick_1952__1_9_1_4_1_1 n562_a_dick_1952__1_9_1_4_2_1 NP-GEN n562_a_dick_1952__1_9_1_4_2->n562_a_dick_1952__1_9_1_4_2_1 n562_a_dick_1952__1_9_1_4_2_2 NS n562_a_dick_1952__1_9_1_4_2->n562_a_dick_1952__1_9_1_4_2_2 n562_a_dick_1952__1_9_1_4_2_1_1 PRO;_genm_ n562_a_dick_1952__1_9_1_4_2_1->n562_a_dick_1952__1_9_1_4_2_1_1 n562_a_dick_1952__1_9_1_4_2_1_1->n562_a_dick_1952__1_9_1_4_2_1_1_1 n562_a_dick_1952__1_9_1_4_2_2->n562_a_dick_1952__1_9_1_4_2_2_1 n562_a_dick_1952__1_10->n562_a_dick_1952__1_10_1 
( (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))