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

arc(r_0627_0006__came,r_0627_0002__it,r_0627_0001__Behind__nim).
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_0009__with,r_0627_0003__a_r_0627_0004__third_r_0627_0005__cart,arg1).
arc(r_0627_0008__loaded_r_0627_0009__with,r_0627_0011__tube_r_0627_0012__sights,arg2).
arc(r_0627_0008__loaded_r_0627_0009__with,z_0627_5006___star_,arg0).
arc(r_0627_0011__tube_r_0627_0012__sights,r_0627_0010__telescopic,attrib).
arc(z_0627_5002,r_0627_0006__came,scope).
arc(z_0627_5002,r_0627_0008__loaded_r_0627_0009__with,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_0627_5006___STAR_,R_0627_0008__LOADED_R_0627_0009__WITH,Z_0627_5002] :
      ( 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_0627_5006___star_(Z_0627_5006___STAR_)
      & z_0627_5002(Z_0627_5002)
      & has_conj1(Z_0627_5002,R_0627_0008__LOADED_R_0627_0009__WITH)
      & r_0627_0008__loaded_r_0627_0009__with(R_0627_0008__LOADED_R_0627_0009__WITH)
      & has_arg0(R_0627_0008__LOADED_R_0627_0009__WITH,Z_0627_5006___STAR_)
      & has_arg2(R_0627_0008__LOADED_R_0627_0009__WITH,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_attrib(R_0627_0011__TUBE_R_0627_0012__SIGHTS,R_0627_0010__TELESCOPIC)
      & has_arg1(R_0627_0008__LOADED_R_0627_0009__WITH,R_0627_0003__A_R_0627_0004__THIRD_R_0627_0005__CART)
      & has_conj2(Z_0627_5002,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__nim(R_0627_0006__CAME,R_0627_0002__IT) ) ).