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 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 [conj2] z_000_562_a_dick_1952_34->r_0562_0014__each_quant [conj1] 
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_3 And n562_a_dick_1952_6 presently n562_a_dick_1952_8 , n562_a_dick_1952_11 from n562_a_dick_1952_14 the n562_a_dick_1952_16 ship n562_a_dick_1952_18 , n562_a_dick_1952_21 a n562_a_dick_1952_23 line n562_a_dick_1952_26 of n562_a_dick_1952_29 people n562_a_dick_1952_31 came n562_a_dick_1952_33 , n562_a_dick_1952_38 each n562_a_dick_1952_40 carrying n562_a_dick_1952_43 something n562_a_dick_1952_46 in n562_a_dick_1952_50 his n562_a_dick_1952_52 hands n562_a_dick_1952_54 . n562_a_dick_1952_1 IP-MAT n562_a_dick_1952_2 CONJ;_cl_ n562_a_dick_1952_1->n562_a_dick_1952_2 n562_a_dick_1952_4 ADVP-NIM n562_a_dick_1952_1->n562_a_dick_1952_4 n562_a_dick_1952_7 PUNC n562_a_dick_1952_1->n562_a_dick_1952_7 n562_a_dick_1952_9 PP-NIM n562_a_dick_1952_1->n562_a_dick_1952_9 n562_a_dick_1952_17 PUNC n562_a_dick_1952_1->n562_a_dick_1952_17 n562_a_dick_1952_19 NP-SBJ n562_a_dick_1952_1->n562_a_dick_1952_19 n562_a_dick_1952_30 VBD;_I_ n562_a_dick_1952_1->n562_a_dick_1952_30 n562_a_dick_1952_32 PUNC n562_a_dick_1952_1->n562_a_dick_1952_32 n562_a_dick_1952_34 PP-SCON n562_a_dick_1952_1->n562_a_dick_1952_34 n562_a_dick_1952_53 PUNC n562_a_dick_1952_1->n562_a_dick_1952_53 n562_a_dick_1952_2->n562_a_dick_1952_3 n562_a_dick_1952_5 ADV n562_a_dick_1952_4->n562_a_dick_1952_5 n562_a_dick_1952_5->n562_a_dick_1952_6 n562_a_dick_1952_7->n562_a_dick_1952_8 n562_a_dick_1952_10 P-ROLE n562_a_dick_1952_9->n562_a_dick_1952_10 n562_a_dick_1952_12 NP n562_a_dick_1952_9->n562_a_dick_1952_12 n562_a_dick_1952_10->n562_a_dick_1952_11 n562_a_dick_1952_13 D n562_a_dick_1952_12->n562_a_dick_1952_13 n562_a_dick_1952_15 N n562_a_dick_1952_12->n562_a_dick_1952_15 n562_a_dick_1952_13->n562_a_dick_1952_14 n562_a_dick_1952_15->n562_a_dick_1952_16 n562_a_dick_1952_17->n562_a_dick_1952_18 n562_a_dick_1952_20 D n562_a_dick_1952_19->n562_a_dick_1952_20 n562_a_dick_1952_22 N n562_a_dick_1952_19->n562_a_dick_1952_22 n562_a_dick_1952_24 PP n562_a_dick_1952_19->n562_a_dick_1952_24 n562_a_dick_1952_20->n562_a_dick_1952_21 n562_a_dick_1952_22->n562_a_dick_1952_23 n562_a_dick_1952_25 P-ROLE n562_a_dick_1952_24->n562_a_dick_1952_25 n562_a_dick_1952_27 NP n562_a_dick_1952_24->n562_a_dick_1952_27 n562_a_dick_1952_25->n562_a_dick_1952_26 n562_a_dick_1952_28 NS n562_a_dick_1952_27->n562_a_dick_1952_28 n562_a_dick_1952_28->n562_a_dick_1952_29 n562_a_dick_1952_30->n562_a_dick_1952_31 n562_a_dick_1952_32->n562_a_dick_1952_33 n562_a_dick_1952_35 IP-PPL3 n562_a_dick_1952_34->n562_a_dick_1952_35 n562_a_dick_1952_36 NP-SBJ n562_a_dick_1952_35->n562_a_dick_1952_36 n562_a_dick_1952_39 VAG;_Tn_ n562_a_dick_1952_35->n562_a_dick_1952_39 n562_a_dick_1952_41 NP-OB1 n562_a_dick_1952_35->n562_a_dick_1952_41 n562_a_dick_1952_44 PP-NIM n562_a_dick_1952_35->n562_a_dick_1952_44 n562_a_dick_1952_37 Q;_nphd_ n562_a_dick_1952_36->n562_a_dick_1952_37 n562_a_dick_1952_37->n562_a_dick_1952_38 n562_a_dick_1952_39->n562_a_dick_1952_40 n562_a_dick_1952_42 D;_nphd_ n562_a_dick_1952_41->n562_a_dick_1952_42 n562_a_dick_1952_42->n562_a_dick_1952_43 n562_a_dick_1952_45 P-ROLE n562_a_dick_1952_44->n562_a_dick_1952_45 n562_a_dick_1952_47 NP n562_a_dick_1952_44->n562_a_dick_1952_47 n562_a_dick_1952_45->n562_a_dick_1952_46 n562_a_dick_1952_48 NP-GEN n562_a_dick_1952_47->n562_a_dick_1952_48 n562_a_dick_1952_51 NS n562_a_dick_1952_47->n562_a_dick_1952_51 n562_a_dick_1952_49 PRO;_genm_ n562_a_dick_1952_48->n562_a_dick_1952_49 n562_a_dick_1952_49->n562_a_dick_1952_50 n562_a_dick_1952_51->n562_a_dick_1952_52 n562_a_dick_1952_53->n562_a_dick_1952_54 
( (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))