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,
    ? [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) ) ).

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