Context                Previous, Next                Top


627_a_dick_1952
Behind it a third cart came, loaded with telescopic tube sights.

%3 r_0627_0006__came came r_0627_0002__it it r_0627_0006__came->r_0627_0002__it Behind [nim] r_0627_0003__a_r_0627_0004__third_r_0627_0005__cart a third cart r_0627_0006__came->r_0627_0003__a_r_0627_0004__third_r_0627_0005__cart [arg0] r_0627_0008__loaded loaded r_0627_0008__loaded->r_0627_0003__a_r_0627_0004__third_r_0627_0005__cart [arg1] r_0627_0011__tube_r_0627_0012__sights tube sights r_0627_0008__loaded->r_0627_0011__tube_r_0627_0012__sights with [clr] z_000_627_a_dick_1952_21 r_0627_0008__loaded->z_000_627_a_dick_1952_21 [arg0] r_0627_0010__telescopic telescopic r_0627_0011__tube_r_0627_0012__sights->r_0627_0010__telescopic [attrib] z_000_627_a_dick_1952_19 z_000_627_a_dick_1952_19->r_0627_0006__came [scope] z_000_627_a_dick_1952_19->r_0627_0008__loaded [restriction] 
arc(r_0627_0006__came, r_0627_0002__it, r_0627_0001__Behind_nim5).
arc(r_0627_0006__came, r_0627_0003__a_r_0627_0004__third_r_0627_0005__cart, arg0).
arc(r_0627_0008__loaded, r_0627_0003__a_r_0627_0004__third_r_0627_0005__cart, arg1).
arc(r_0627_0008__loaded, r_0627_0011__tube_r_0627_0012__sights, r_0627_0009__with_clr28).
arc(r_0627_0008__loaded, z_000_627_a_dick_1952_21, arg0).
arc(r_0627_0011__tube_r_0627_0012__sights, r_0627_0010__telescopic, attrib29).
arc(z_000_627_a_dick_1952_19, r_0627_0006__came, scope).
arc(z_000_627_a_dick_1952_19, r_0627_0008__loaded, restriction).


%3 r_0627_0006__came came r_0627_0002__it it r_0627_0006__came->r_0627_0002__it Behind [nim] r_0627_0003__a_r_0627_0004__third_r_0627_0005__cart a third cart r_0627_0006__came->r_0627_0003__a_r_0627_0004__third_r_0627_0005__cart [arg0] r_0627_0008__loaded loaded r_0627_0008__loaded->r_0627_0003__a_r_0627_0004__third_r_0627_0005__cart [arg1] r_0627_0011__tube_r_0627_0012__sights tube sights r_0627_0008__loaded->r_0627_0011__tube_r_0627_0012__sights with [clr] z_000_627_a_dick_1952_21 r_0627_0008__loaded->z_000_627_a_dick_1952_21 [arg0] r_0627_0010__telescopic telescopic r_0627_0011__tube_r_0627_0012__sights->r_0627_0010__telescopic [attrib] z_000_627_a_dick_1952_19 z_000_627_a_dick_1952_19->r_0627_0006__came [conj2] z_000_627_a_dick_1952_19->r_0627_0008__loaded [conj1] 
fof(formula,axiom,
    ? [Z_627_A_DICK_1952_19,R_627_8_LOADED,Z_627_A_DICK_1952_21,R_627_11_TUBE_SIGHTS,R_627_10_TELESCOPIC,R_627_6_CAME,R_627_3_A_THIRD_CART,R_627_2_IT] :
      ( telescopic(R_627_10_TELESCOPIC)
      & a_third_cart(R_627_3_A_THIRD_CART)
      & it(R_627_2_IT)
      & z_627_a_dick_1952_19(Z_627_A_DICK_1952_19)
      & conj1(Z_627_A_DICK_1952_19,R_627_8_LOADED)
      & loaded(R_627_8_LOADED,Z_627_A_DICK_1952_21,R_627_3_A_THIRD_CART)
      & with_clr28(R_627_8_LOADED,R_627_11_TUBE_SIGHTS)
      & tube_sights(R_627_11_TUBE_SIGHTS)
      & attrib29(R_627_11_TUBE_SIGHTS,R_627_10_TELESCOPIC)
      & conj2(Z_627_A_DICK_1952_19,R_627_6_CAME)
      & came(R_627_6_CAME,R_627_3_A_THIRD_CART)
      & behind_nim5(R_627_6_CAME,R_627_2_IT) ) ).


n627_a_dick_1952 n627_a_dick_1952_4 Behind n627_a_dick_1952_7 it n627_a_dick_1952_10 a n627_a_dick_1952_12 third n627_a_dick_1952_14 cart n627_a_dick_1952_16 came n627_a_dick_1952_18 , n627_a_dick_1952_22 * n627_a_dick_1952_24 loaded n627_a_dick_1952_27 with n627_a_dick_1952_31 telescopic n627_a_dick_1952_33 tube n627_a_dick_1952_35 sights n627_a_dick_1952_37 . n627_a_dick_1952_1 IP-MAT n627_a_dick_1952_2 PP-NIM n627_a_dick_1952_1->n627_a_dick_1952_2 n627_a_dick_1952_8 NP-SBJ n627_a_dick_1952_1->n627_a_dick_1952_8 n627_a_dick_1952_15 VBD;_I_ n627_a_dick_1952_1->n627_a_dick_1952_15 n627_a_dick_1952_17 PUNC n627_a_dick_1952_1->n627_a_dick_1952_17 n627_a_dick_1952_19 PP-SCON n627_a_dick_1952_1->n627_a_dick_1952_19 n627_a_dick_1952_36 PUNC n627_a_dick_1952_1->n627_a_dick_1952_36 n627_a_dick_1952_3 P-ROLE n627_a_dick_1952_2->n627_a_dick_1952_3 n627_a_dick_1952_5 NP n627_a_dick_1952_2->n627_a_dick_1952_5 n627_a_dick_1952_3->n627_a_dick_1952_4 n627_a_dick_1952_6 PRO n627_a_dick_1952_5->n627_a_dick_1952_6 n627_a_dick_1952_6->n627_a_dick_1952_7 n627_a_dick_1952_9 D n627_a_dick_1952_8->n627_a_dick_1952_9 n627_a_dick_1952_11 NUM n627_a_dick_1952_8->n627_a_dick_1952_11 n627_a_dick_1952_13 N n627_a_dick_1952_8->n627_a_dick_1952_13 n627_a_dick_1952_9->n627_a_dick_1952_10 n627_a_dick_1952_11->n627_a_dick_1952_12 n627_a_dick_1952_13->n627_a_dick_1952_14 n627_a_dick_1952_15->n627_a_dick_1952_16 n627_a_dick_1952_17->n627_a_dick_1952_18 n627_a_dick_1952_20 IP-PPL n627_a_dick_1952_19->n627_a_dick_1952_20 n627_a_dick_1952_21 NP-LGS n627_a_dick_1952_20->n627_a_dick_1952_21 n627_a_dick_1952_23 VVN;_Tn.pr_ n627_a_dick_1952_20->n627_a_dick_1952_23 n627_a_dick_1952_25 PP-CLR n627_a_dick_1952_20->n627_a_dick_1952_25 n627_a_dick_1952_21->n627_a_dick_1952_22 n627_a_dick_1952_23->n627_a_dick_1952_24 n627_a_dick_1952_26 P-ROLE n627_a_dick_1952_25->n627_a_dick_1952_26 n627_a_dick_1952_28 NP n627_a_dick_1952_25->n627_a_dick_1952_28 n627_a_dick_1952_26->n627_a_dick_1952_27 n627_a_dick_1952_29 ADJP n627_a_dick_1952_28->n627_a_dick_1952_29 n627_a_dick_1952_32 N n627_a_dick_1952_28->n627_a_dick_1952_32 n627_a_dick_1952_34 NS n627_a_dick_1952_28->n627_a_dick_1952_34 n627_a_dick_1952_30 ADJ n627_a_dick_1952_29->n627_a_dick_1952_30 n627_a_dick_1952_30->n627_a_dick_1952_31 n627_a_dick_1952_32->n627_a_dick_1952_33 n627_a_dick_1952_34->n627_a_dick_1952_35 n627_a_dick_1952_36->n627_a_dick_1952_37 
( (IP-MAT (PP-NIM (P-ROLE Behind;{behind})
                  (NP;{CART2} (PRO it;{it})))
          (NP-SBJ (D a;{a})
                  (NUM third;{third})
                  (N cart;{cart}))
          (VBD;_I_ came;{come})
          (PUNC ,)
          (PP-SCON (IP-PPL (NP-LGS *)
                           (VVN;_Tn.pr_ loaded;{load[with]})
                           (PP-CLR (P-ROLE with;{with})
                                   (NP (ADJP (ADJ telescopic;{telescopic}))
                                       (N tube;{tube})
                                       (NS sights;{sight})))))
          (PUNC .))
  (ID 627_a_dick_1952))