arc(r_0321_0003__lowered, r_0321_0001__The_r_0321_0002__barrel, arg0).
arc(r_0321_0003__lowered, r_0321_0004__a_r_0321_0005__trifle, nim11).
arc(r_0321_0008__resumed, r_0321_0001__The_r_0321_0002__barrel, arg0).
arc(r_0321_0008__resumed, r_0321_0007__then, nim20).
arc(r_0321_0008__resumed, r_0321_0011__position, arg1).
arc(r_0321_0011__position, r_0321_0001__The_r_0321_0002__barrel, gen).
arc(r_0321_0011__position, r_0321_0010__original, attrib29).
arc(z_000_321_a_dick_1952_7, r_0321_0003__lowered, conj1).
arc(z_000_321_a_dick_1952_7, r_0321_0008__resumed, conj2).

fof(formula,axiom,
    ? [R_0321_0001__THE_R_0321_0002__BARREL,R_0321_0004__A_R_0321_0005__TRIFLE,R_0321_0003__LOWERED,R_0321_0007__THEN,R_0321_0010__ORIGINAL,R_0321_0011__POSITION,R_0321_0008__RESUMED,Z_000_321_A_DICK_1952_7] :
      ( r_0321_0001__The_r_0321_0002__barrel(R_0321_0001__THE_R_0321_0002__BARREL)
      & r_0321_0004__a_r_0321_0005__trifle(R_0321_0004__A_R_0321_0005__TRIFLE)
      & r_0321_0007__then(R_0321_0007__THEN)
      & r_0321_0010__original(R_0321_0010__ORIGINAL)
      & z_000_321_a_dick_1952_7(Z_000_321_A_DICK_1952_7)
      & has_conj2(Z_000_321_A_DICK_1952_7,R_0321_0008__RESUMED)
      & r_0321_0008__resumed(R_0321_0008__RESUMED)
      & has_arg1(R_0321_0008__RESUMED,R_0321_0011__POSITION)
      & r_0321_0011__position(R_0321_0011__POSITION)
      & has_attrib29(R_0321_0011__POSITION,R_0321_0010__ORIGINAL)
      & has_gen(R_0321_0011__POSITION,R_0321_0001__THE_R_0321_0002__BARREL)
      & has_nim20(R_0321_0008__RESUMED,R_0321_0007__THEN)
      & has_arg0(R_0321_0008__RESUMED,R_0321_0001__THE_R_0321_0002__BARREL)
      & has_conj1(Z_000_321_A_DICK_1952_7,R_0321_0003__LOWERED)
      & r_0321_0003__lowered(R_0321_0003__LOWERED)
      & has_nim11(R_0321_0003__LOWERED,R_0321_0004__A_R_0321_0005__TRIFLE)
      & has_arg0(R_0321_0003__LOWERED,R_0321_0001__THE_R_0321_0002__BARREL) ) ).

( (IP-MAT (NP-SBJ;{BARREL} (D The;{the})
                           (N barrel;{barrel}))
          (ILYR (ILYR (VBD;_I_ lowered;{lower})
                      (NP-NIM (D a;{a})
                              (N trifle;{trifle})))
                (PUNC ,)
                (CONJP (ILYR (ADVP-NIM (ADV then;{then}))
                             (VBD;_Tn_ resumed;{resume})
                             (NP-OB1 (NP-GEN;{BARREL} (PRO;_genm_ its;{its}))
                                     (ADJP (ADJ original;{original}))
                                     (N position;{position})))))
          (PUNC .))
  (ID 321_a_dick_1952))