( (IP-MAT (NP-SBJ;{GUN} (PRO It;{it}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ mounted;{mount}))
          (PP-SCON (P-CONN so_that;{so_that})
                   (IP-ADV (NP-SBJ;{GUN} (PRO it;{it}))
                           (MD;_cat_Vi_ could;{can})
                           (IP-INF-CAT (VB;_Tn_ make;{make})
                                       (NP-OB1 (D a;{a})
                                               (ADJP (ADJ full;{full}))
                                               (N circle;{circle})))))
          (PUNC .))
  (ID 320_a_dick_1952))

arc(r_0320_0002__was,r_0320_0003__mounted,scope).
arc(r_0320_0003__mounted,r_0320_0001__It,arg1).
arc(r_0320_0003__mounted,z_0320_5009___star_,arg0).
arc(r_0320_0004__so_that,r_0320_0002__was,scope).
arc(r_0320_0004__so_that,r_0320_0006__could,restriction).
arc(r_0320_0006__could,r_0320_0007__make,scope).
arc(r_0320_0007__make,r_0320_0001__It,arg0).
arc(r_0320_0007__make,r_0320_0008__a_r_0320_0010__circle,arg1).
arc(r_0320_0008__a_r_0320_0010__circle,r_0320_0009__full,attrib).

fof(formula,axiom,
    ? [R_0320_0001__IT,Z_0320_5009___STAR_,R_0320_0002__WAS_R_0320_0003__MOUNTED,R_0320_0009__FULL,R_0320_0008__A_R_0320_0010__CIRCLE,R_0320_0006__COULD_R_0320_0007__MAKE,R_0320_0004__SO_THAT] :
      ( r_0320_0001__It(R_0320_0001__IT)
      & r_0320_0009__full(R_0320_0009__FULL)
      & z_0320_5009___star_(Z_0320_5009___STAR_)
      & r_0320_0004__so_that(R_0320_0004__SO_THAT)
      & has_conj1(R_0320_0004__SO_THAT,R_0320_0006__COULD_R_0320_0007__MAKE)
      & r_0320_0006__could_r_0320_0007__make(R_0320_0006__COULD_R_0320_0007__MAKE)
      & has_arg1(R_0320_0006__COULD_R_0320_0007__MAKE,R_0320_0008__A_R_0320_0010__CIRCLE)
      & r_0320_0008__a_r_0320_0010__circle(R_0320_0008__A_R_0320_0010__CIRCLE)
      & has_attrib(R_0320_0008__A_R_0320_0010__CIRCLE,R_0320_0009__FULL)
      & has_arg0(R_0320_0006__COULD_R_0320_0007__MAKE,R_0320_0001__IT)
      & has_conj2(R_0320_0004__SO_THAT,R_0320_0002__WAS_R_0320_0003__MOUNTED)
      & r_0320_0002__was_r_0320_0003__mounted(R_0320_0002__WAS_R_0320_0003__MOUNTED)
      & has_arg0(R_0320_0002__WAS_R_0320_0003__MOUNTED,Z_0320_5009___STAR_)
      & has_arg1(R_0320_0002__WAS_R_0320_0003__MOUNTED,R_0320_0001__IT) ) ).