arc(r_0024_0003__reputation, z_000_24_a_beeton_1861_3, gen).
arc(r_0024_0004__will, r_0024_0006__compensate, scope).
arc(r_0024_0006__compensate, r_0024_0003__reputation, arg0).
arc(r_0024_0006__compensate, r_0024_0005__soon, nim15).
arc(r_0024_0006__compensate, r_0024_0008__the_r_0024_0009__absence, r_0024_0007__for_clr23).
arc(r_0024_0008__the_r_0024_0009__absence, r_0024_0011__bribes, r_0024_0010__of).
arc(r_0024_0011__bribes, r_0024_0014__wine__hyphen__merchants, r_0024_0012__from).
arc(r_0024_0014__wine__hyphen__merchants, r_0024_0013__unprincipled, attrib38).
arc(r_0024_0016__if, r_0024_0004__will, scope).
arc(r_0024_0016__if, r_0024_0018__serves, restriction).
arc(r_0024_0018__serves, r_0024_0017__he, arg0).
arc(r_0024_0018__serves, r_0024_0019__a_r_0024_0023__master, arg1).
arc(r_0024_0019__a_r_0024_0023__master, r_0024_0021__and, attrib57).
arc(r_0024_0021__and, r_0024_0020__generous, conj1).
arc(r_0024_0021__and, r_0024_0022__hospitable, conj2).
arc(z_000_24_a_beeton_1861_3, r_0024_0001__his, gen).
arc(z_000_24_a_beeton_1861_3, r_0024_0002__own, attrib7).

fof(formula,axiom,
    ! [R_0024_0018__SERVES,R_0024_0017__HE,R_0024_0020__GENEROUS,R_0024_0022__HOSPITABLE,R_0024_0021__AND,R_0024_0019__A_R_0024_0023__MASTER] :
      ( ( r_0024_0017__he(R_0024_0017__HE)
        & r_0024_0020__generous(R_0024_0020__GENEROUS)
        & r_0024_0022__hospitable(R_0024_0022__HOSPITABLE)
        & r_0024_0018__serves(R_0024_0018__SERVES)
        & has_arg1(R_0024_0018__SERVES,R_0024_0019__A_R_0024_0023__MASTER)
        & r_0024_0019__a_r_0024_0023__master(R_0024_0019__A_R_0024_0023__MASTER)
        & has_attrib57(R_0024_0019__A_R_0024_0023__MASTER,R_0024_0021__AND)
        & r_0024_0021__and(R_0024_0021__AND)
        & has_conj2(R_0024_0021__AND,R_0024_0022__HOSPITABLE)
        & has_conj1(R_0024_0021__AND,R_0024_0020__GENEROUS)
        & has_arg0(R_0024_0018__SERVES,R_0024_0017__HE) )
     => ? [R_0024_0001__HIS,R_0024_0002__OWN,Z_000_24_A_BEETON_1861_3,R_0024_0003__REPUTATION,R_0024_0005__SOON,R_0024_0013__UNPRINCIPLED,R_0024_0014__WINE__HYPHEN__MERCHANTS,R_0024_0011__BRIBES,R_0024_0008__THE_R_0024_0009__ABSENCE,R_0024_0004__WILL_R_0024_0006__COMPENSATE] :
          ( r_0024_0001__his(R_0024_0001__HIS)
          & r_0024_0002__own(R_0024_0002__OWN)
          & r_0024_0005__soon(R_0024_0005__SOON)
          & r_0024_0013__unprincipled(R_0024_0013__UNPRINCIPLED)
          & r_0024_0004__will_r_0024_0006__compensate(R_0024_0004__WILL_R_0024_0006__COMPENSATE)
          & has_r_0024_0007__for_clr23(R_0024_0004__WILL_R_0024_0006__COMPENSATE,R_0024_0008__THE_R_0024_0009__ABSENCE)
          & r_0024_0008__the_r_0024_0009__absence(R_0024_0008__THE_R_0024_0009__ABSENCE)
          & has_r_0024_0010__of(R_0024_0008__THE_R_0024_0009__ABSENCE,R_0024_0011__BRIBES)
          & r_0024_0011__bribes(R_0024_0011__BRIBES)
          & has_r_0024_0012__from(R_0024_0011__BRIBES,R_0024_0014__WINE__HYPHEN__MERCHANTS)
          & r_0024_0014__wine__hyphen__merchants(R_0024_0014__WINE__HYPHEN__MERCHANTS)
          & has_attrib38(R_0024_0014__WINE__HYPHEN__MERCHANTS,R_0024_0013__UNPRINCIPLED)
          & has_nim15(R_0024_0004__WILL_R_0024_0006__COMPENSATE,R_0024_0005__SOON)
          & has_arg0(R_0024_0004__WILL_R_0024_0006__COMPENSATE,R_0024_0003__REPUTATION)
          & r_0024_0003__reputation(R_0024_0003__REPUTATION)
          & has_gen(R_0024_0003__REPUTATION,Z_000_24_A_BEETON_1861_3)
          & z_000_24_a_beeton_1861_3(Z_000_24_A_BEETON_1861_3)
          & has_attrib7(Z_000_24_A_BEETON_1861_3,R_0024_0002__OWN)
          & has_gen(Z_000_24_A_BEETON_1861_3,R_0024_0001__HIS) ) ) ).

( (IP-MAT (NP-SBJ (NP-GEN (NP-GEN;{BUTLER} (PRO;_genm_ his;{his}))
                          (ADJP (ADJ own;{own})))
                  (N reputation;{reputation}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (ADVP-NIM (ADV soon;{soon}))
                      (VB;__ compensate;{compensate})
                      (PP-CLR (P-ROLE for;{for})
                              (NP (D the;{the})
                                  (N absence;{absence})
                                  (PP (P-ROLE of;{of})
                                      (NP (NS bribes;{bribe})
                                          (PP (P-ROLE from;{from})
                                              (NP (ADJP (ADJ unprincipled;{unprincipled}))
                                                  (NS wine_<hyphen>_merchants;{wine_merchants}))))))))
          (PUNC ,)
          (PP-SCON (P-CONN if;{if})
                   (IP-ADV (NP-SBJ;{BUTLER} (PRO he;{he}))
                           (VBP;__ serves;{serve})
                           (NP-OB1;{PERSON} (D a;{a})
                                            (ADJP (AJLYR (AJLYR (ADJ generous;{generous}))
                                                         (CONJP (CONJ and;{and})
                                                                (AJLYR (ADJ hospitable;{hospitable})))))
                                            (N master;{master}))))
          (PUNC .))
  (ID 24_a_beeton_1861;2164-4))