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_000_320_a_dick_1952_8, 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, attrib27).

fof(formula,axiom,
    ? [R_0320_0001__IT,Z_000_320_A_DICK_1952_8,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_000_320_a_dick_1952_8(Z_000_320_A_DICK_1952_8)
      & 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_attrib27(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_000_320_A_DICK_1952_8)
      & has_arg1(R_0320_0002__WAS_R_0320_0003__MOUNTED,R_0320_0001__IT) ) ).

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