TSPC 18_a_beeton

18_a_beeton_1861
Brewing, racking, and bottling malt liquors, belong to his office, as well as their distribution.

( (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 18_a_beeton_1861;2163-4))

arc(r_0018_0001__Brewing,r_0018_0007__malt_r_0018_0008__liquors,arg1).
arc(r_0018_0001__Brewing,z_0018_5003,arg0).
arc(r_0018_0003__racking,r_0018_0007__malt_r_0018_0008__liquors,arg1).
arc(r_0018_0003__racking,z_0018_5003,arg0).
arc(r_0018_0005__and,r_0018_0001__Brewing,conj1).
arc(r_0018_0005__and,r_0018_0003__racking,conj2).
arc(r_0018_0005__and,r_0018_0006__bottling,conj3).
arc(r_0018_0006__bottling,r_0018_0007__malt_r_0018_0008__liquors,arg1).
arc(r_0018_0006__bottling,z_0018_5003,arg0).
arc(r_0018_0010__belong_r_0018_0011__to,r_0018_0005__and,arg0).
arc(r_0018_0010__belong_r_0018_0011__to,r_0018_0015__as_well_as,arg1).
arc(r_0018_0013__office,r_0018_0012__his,gen).
arc(r_0018_0015__as_well_as,r_0018_0013__office,conj1).
arc(r_0018_0015__as_well_as,r_0018_0017__distribution,conj2).
arc(r_0018_0017__distribution,r_0018_0007__malt_r_0018_0008__liquors,gen).

fof(formula,axiom,
    ? [R_0018_0007__MALT_R_0018_0008__LIQUORS,Z_0018_5003,R_0018_0001__BREWING,R_0018_0003__RACKING,R_0018_0006__BOTTLING,R_0018_0005__AND,R_0018_0012__HIS,R_0018_0013__OFFICE,R_0018_0017__DISTRIBUTION,R_0018_0015__AS_WELL_AS,R_0018_0010__BELONG_R_0018_0011__TO] :
      ( r_0018_0007__malt_r_0018_0008__liquors(R_0018_0007__MALT_R_0018_0008__LIQUORS)
      & r_0018_0012__his(R_0018_0012__HIS)
      & z_0018_5003(Z_0018_5003)
      & r_0018_0010__belong_r_0018_0011__to(R_0018_0010__BELONG_R_0018_0011__TO)
      & has_arg1(R_0018_0010__BELONG_R_0018_0011__TO,R_0018_0015__AS_WELL_AS)
      & r_0018_0015__as_well_as(R_0018_0015__AS_WELL_AS)
      & has_conj2(R_0018_0015__AS_WELL_AS,R_0018_0017__DISTRIBUTION)
      & r_0018_0017__distribution(R_0018_0017__DISTRIBUTION)
      & has_gen(R_0018_0017__DISTRIBUTION,R_0018_0007__MALT_R_0018_0008__LIQUORS)
      & has_conj1(R_0018_0015__AS_WELL_AS,R_0018_0013__OFFICE)
      & r_0018_0013__office(R_0018_0013__OFFICE)
      & has_gen(R_0018_0013__OFFICE,R_0018_0012__HIS)
      & has_arg0(R_0018_0010__BELONG_R_0018_0011__TO,R_0018_0005__AND)
      & r_0018_0005__and(R_0018_0005__AND)
      & has_conj3(R_0018_0005__AND,R_0018_0006__BOTTLING)
      & r_0018_0006__bottling(R_0018_0006__BOTTLING)
      & has_arg0(R_0018_0006__BOTTLING,Z_0018_5003)
      & has_arg1(R_0018_0006__BOTTLING,R_0018_0007__MALT_R_0018_0008__LIQUORS)
      & has_conj2(R_0018_0005__AND,R_0018_0003__RACKING)
      & r_0018_0003__racking(R_0018_0003__RACKING)
      & has_arg0(R_0018_0003__RACKING,Z_0018_5003)
      & has_arg1(R_0018_0003__RACKING,R_0018_0007__MALT_R_0018_0008__LIQUORS)
      & has_conj1(R_0018_0005__AND,R_0018_0001__BREWING)
      & r_0018_0001__Brewing(R_0018_0001__BREWING)
      & has_arg0(R_0018_0001__BREWING,Z_0018_5003)
      & has_arg1(R_0018_0001__BREWING,R_0018_0007__MALT_R_0018_0008__LIQUORS) ) ).