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

fof(formula,axiom,
    ? [R_0627_0002__IT,R_0627_0003__A_R_0627_0004__THIRD_R_0627_0005__CART,R_0627_0006__CAME,R_0627_0010__TELESCOPIC,R_0627_0011__TUBE_R_0627_0012__SIGHTS,Z_000_627_A_DICK_1952_21,R_0627_0008__LOADED,Z_000_627_A_DICK_1952_19] :
      ( r_0627_0002__it(R_0627_0002__IT)
      & r_0627_0003__a_r_0627_0004__third_r_0627_0005__cart(R_0627_0003__A_R_0627_0004__THIRD_R_0627_0005__CART)
      & r_0627_0010__telescopic(R_0627_0010__TELESCOPIC)
      & z_000_627_a_dick_1952_21(Z_000_627_A_DICK_1952_21)
      & z_000_627_a_dick_1952_19(Z_000_627_A_DICK_1952_19)
      & has_conj1(Z_000_627_A_DICK_1952_19,R_0627_0008__LOADED)
      & r_0627_0008__loaded(R_0627_0008__LOADED)
      & has_arg0(R_0627_0008__LOADED,Z_000_627_A_DICK_1952_21)
      & has_r_0627_0009__with_clr28(R_0627_0008__LOADED,R_0627_0011__TUBE_R_0627_0012__SIGHTS)
      & r_0627_0011__tube_r_0627_0012__sights(R_0627_0011__TUBE_R_0627_0012__SIGHTS)
      & has_attrib29(R_0627_0011__TUBE_R_0627_0012__SIGHTS,R_0627_0010__TELESCOPIC)
      & has_arg1(R_0627_0008__LOADED,R_0627_0003__A_R_0627_0004__THIRD_R_0627_0005__CART)
      & has_conj2(Z_000_627_A_DICK_1952_19,R_0627_0006__CAME)
      & r_0627_0006__came(R_0627_0006__CAME)
      & has_arg0(R_0627_0006__CAME,R_0627_0003__A_R_0627_0004__THIRD_R_0627_0005__CART)
      & has_r_0627_0001__Behind_nim5(R_0627_0006__CAME,R_0627_0002__IT) ) ).

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