arc(r_0019_0001__Brewing, r_0019_0007__malt_r_0019_0008__liquors, arg1).
arc(r_0019_0001__Brewing, z_000_19_a_beeton_1861_2, arg0).
arc(r_0019_0003__racking, r_0019_0007__malt_r_0019_0008__liquors, arg1).
arc(r_0019_0003__racking, z_000_19_a_beeton_1861_2, arg0).
arc(r_0019_0005__and, r_0019_0001__Brewing, conj1).
arc(r_0019_0005__and, r_0019_0003__racking, conj2).
arc(r_0019_0005__and, r_0019_0006__bottling, conj3).
arc(r_0019_0006__bottling, r_0019_0007__malt_r_0019_0008__liquors, arg1).
arc(r_0019_0006__bottling, z_000_19_a_beeton_1861_2, arg0).
arc(r_0019_0010__belong, r_0019_0005__and, arg0).
arc(r_0019_0010__belong, r_0019_0015__as_well_as, r_0019_0011__to_clr33).
arc(r_0019_0013__office, r_0019_0012__his, gen).
arc(r_0019_0015__as_well_as, r_0019_0013__office, conj1).
arc(r_0019_0015__as_well_as, r_0019_0017__distribution, conj2).
arc(r_0019_0017__distribution, r_0019_0007__malt_r_0019_0008__liquors, gen).

fof(formula,axiom,
    ? [R_0019_0007__MALT_R_0019_0008__LIQUORS,Z_000_19_A_BEETON_1861_2,R_0019_0001__BREWING,R_0019_0003__RACKING,R_0019_0006__BOTTLING,R_0019_0005__AND,R_0019_0012__HIS,R_0019_0013__OFFICE,R_0019_0017__DISTRIBUTION,R_0019_0015__AS_WELL_AS,R_0019_0010__BELONG] :
      ( r_0019_0007__malt_r_0019_0008__liquors(R_0019_0007__MALT_R_0019_0008__LIQUORS)
      & r_0019_0012__his(R_0019_0012__HIS)
      & z_000_19_a_beeton_1861_2(Z_000_19_A_BEETON_1861_2)
      & r_0019_0010__belong(R_0019_0010__BELONG)
      & has_r_0019_0011__to_clr33(R_0019_0010__BELONG,R_0019_0015__AS_WELL_AS)
      & r_0019_0015__as_well_as(R_0019_0015__AS_WELL_AS)
      & has_conj2(R_0019_0015__AS_WELL_AS,R_0019_0017__DISTRIBUTION)
      & r_0019_0017__distribution(R_0019_0017__DISTRIBUTION)
      & has_gen(R_0019_0017__DISTRIBUTION,R_0019_0007__MALT_R_0019_0008__LIQUORS)
      & has_conj1(R_0019_0015__AS_WELL_AS,R_0019_0013__OFFICE)
      & r_0019_0013__office(R_0019_0013__OFFICE)
      & has_gen(R_0019_0013__OFFICE,R_0019_0012__HIS)
      & has_arg0(R_0019_0010__BELONG,R_0019_0005__AND)
      & r_0019_0005__and(R_0019_0005__AND)
      & has_conj3(R_0019_0005__AND,R_0019_0006__BOTTLING)
      & r_0019_0006__bottling(R_0019_0006__BOTTLING)
      & has_arg0(R_0019_0006__BOTTLING,Z_000_19_A_BEETON_1861_2)
      & has_arg1(R_0019_0006__BOTTLING,R_0019_0007__MALT_R_0019_0008__LIQUORS)
      & has_conj2(R_0019_0005__AND,R_0019_0003__RACKING)
      & r_0019_0003__racking(R_0019_0003__RACKING)
      & has_arg0(R_0019_0003__RACKING,Z_000_19_A_BEETON_1861_2)
      & has_arg1(R_0019_0003__RACKING,R_0019_0007__MALT_R_0019_0008__LIQUORS)
      & has_conj1(R_0019_0005__AND,R_0019_0001__BREWING)
      & r_0019_0001__Brewing(R_0019_0001__BREWING)
      & has_arg0(R_0019_0001__BREWING,Z_000_19_A_BEETON_1861_2)
      & has_arg1(R_0019_0001__BREWING,R_0019_0007__MALT_R_0019_0008__LIQUORS) ) ).

( (IP-MAT (IP-PPL-SBJ (ILYR (ILYR (VAG;_Tn_ Brewing;{brew}))
                            (PUNC ,)
                            (CONJP (ILYR (VAG;_Tn_ racking;{rack})))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (VAG;_Tn_ bottling;{bottle}))))
                      (NP-OB1;{MALTS} (N malt;{malt})
                                      (NS liquors;{liquor})))
          (PUNC ,)
          (VBP;_Ipr_ belong;{belong[to]})
          (PP-CLR (P-ROLE to;{to})
                  (NP (NLYR (NLYR (NP-GEN;{BUTLER} (PRO;_genm_ his;{his}))
                                  (N office;{office}))
                            (PUNC ,)
                            (CONJP (CONJ as_well_as;{as_well_as})
                                   (NLYR (NP-GEN;{MALTS} (PRO;_genm_ their;{their}))
                                         (N distribution;{distribution}))))))
          (PUNC .))
  (ID 19_a_beeton_1861;2163-4))