arc(r_0019_0001__If, r_0019_0003__add, restriction).
arc(r_0019_0001__If, z_000_19_a_alresford_64, scope).
arc(r_0019_0003__add, r_0019_0002__I, arg0).
arc(r_0019_0003__add, r_0019_0004__together, clr11).
arc(r_0019_0003__add, r_0019_0005__the_r_0019_0006__moments, arg1).
arc(r_0019_0005__the_r_0019_0006__moments, r_0019_0009__reflection, r_0019_0007__of).
arc(r_0019_0009__reflection, r_0019_0008__tranquil, attrib23).
arc(r_0019_0010__spent, r_0019_0005__the_r_0019_0006__moments, arg1).
arc(r_0019_0010__spent, r_0019_0012__this_r_0019_0014__corner, r_0019_0011__in_clr36).
arc(r_0019_0010__spent, z_000_19_a_alresford_29, arg0).
arc(r_0019_0012__this_r_0019_0014__corner, r_0019_0013__quintessential, attrib39).
arc(r_0019_0012__this_r_0019_0014__corner, r_0019_0016__England, r_0019_0015__of).
arc(r_0019_0020__spent, r_0019_0002__I, arg0).
arc(r_0019_0020__spent, r_0019_0018__maybe, nim52).
arc(r_0019_0020__spent, r_0019_0021__months, arg1).
arc(r_0019_0022__watching, r_0019_0002__I, arg0).
arc(r_0019_0022__watching, r_0019_0023__the_r_0019_0024__river, arg1).
arc(r_0019_0022__watching, r_0019_0028__moods, r_0019_0025__in_nim77).
arc(r_0019_0026__all_quant, r_0019_0022__watching, scope).
arc(r_0019_0026__all_quant, r_0019_0028__moods, restriction).
arc(r_0019_0028__moods, r_0019_0027__its, gen).
arc(r_0019_0030__with, r_0019_0026__all_quant, scope).
arc(r_0019_0030__with, z_000_19_a_alresford_91, restriction).
arc(r_0019_0032__and, r_0019_0031__birds, conj1).
arc(r_0019_0032__and, r_0019_0034__trout, conj2).
arc(r_0019_0034__trout, r_0019_0033__brown, attrib102).
arc(r_0019_0036__courtiers, r_0019_0023__the_r_0019_0024__river, gen).
arc(r_0019_0039__and, r_0019_0038__willow, conj1).
arc(r_0019_0039__and, r_0019_0040__alder, conj2).
arc(r_0019_0042__sentinels, r_0019_0023__the_r_0019_0024__river, gen).
arc(z_000_19_a_alresford_116, r_0019_0039__and, arg0).
arc(z_000_19_a_alresford_116, r_0019_0042__sentinels, prd).
arc(z_000_19_a_alresford_64, r_0019_0020__spent, scope).
arc(z_000_19_a_alresford_64, r_0019_0030__with, restriction).
arc(z_000_19_a_alresford_91, z_000_19_a_alresford_116, conj2).
arc(z_000_19_a_alresford_91, z_000_19_a_alresford_92, conj1).
arc(z_000_19_a_alresford_92, r_0019_0032__and, arg0).
arc(z_000_19_a_alresford_92, r_0019_0036__courtiers, prd).

fof(formula,axiom,
    ? [R_0019_0008__TRANQUIL,R_0019_0009__REFLECTION,R_0019_0005__THE_R_0019_0006__MOMENTS,R_0019_0013__QUINTESSENTIAL,R_0019_0016__ENGLAND,R_0019_0012__THIS_R_0019_0014__CORNER,Z_000_19_A_ALRESFORD_29,R_0019_0010__SPENT] :
      ( r_0019_0008__tranquil(R_0019_0008__TRANQUIL)
      & r_0019_0013__quintessential(R_0019_0013__QUINTESSENTIAL)
      & r_0019_0016__England(R_0019_0016__ENGLAND)
      & z_000_19_a_alresford_29(Z_000_19_A_ALRESFORD_29)
      & r_0019_0010__spent(R_0019_0010__SPENT)
      & has_arg0(R_0019_0010__SPENT,Z_000_19_A_ALRESFORD_29)
      & has_r_0019_0011__in_clr36(R_0019_0010__SPENT,R_0019_0012__THIS_R_0019_0014__CORNER)
      & r_0019_0012__this_r_0019_0014__corner(R_0019_0012__THIS_R_0019_0014__CORNER)
      & has_r_0019_0015__of(R_0019_0012__THIS_R_0019_0014__CORNER,R_0019_0016__ENGLAND)
      & has_attrib39(R_0019_0012__THIS_R_0019_0014__CORNER,R_0019_0013__QUINTESSENTIAL)
      & has_arg1(R_0019_0010__SPENT,R_0019_0005__THE_R_0019_0006__MOMENTS)
      & r_0019_0005__the_r_0019_0006__moments(R_0019_0005__THE_R_0019_0006__MOMENTS)
      & has_r_0019_0007__of(R_0019_0005__THE_R_0019_0006__MOMENTS,R_0019_0009__REFLECTION)
      & r_0019_0009__reflection(R_0019_0009__REFLECTION)
      & has_attrib23(R_0019_0009__REFLECTION,R_0019_0008__TRANQUIL)
      & ! [R_0019_0003__ADD,R_0019_0002__I,R_0019_0004__TOGETHER] :
          ( ( r_0019_0002__I(R_0019_0002__I)
            & r_0019_0004__together(R_0019_0004__TOGETHER)
            & r_0019_0003__add(R_0019_0003__ADD)
            & has_arg1(R_0019_0003__ADD,R_0019_0005__THE_R_0019_0006__MOMENTS)
            & has_clr11(R_0019_0003__ADD,R_0019_0004__TOGETHER)
            & has_arg0(R_0019_0003__ADD,R_0019_0002__I) )
         => ? [R_0019_0018__MAYBE,R_0019_0021__MONTHS,R_0019_0020__SPENT,R_0019_0038__WILLOW,R_0019_0040__ALDER,R_0019_0039__AND,R_0019_0023__THE_R_0019_0024__RIVER,R_0019_0042__SENTINELS,Z_000_19_A_ALRESFORD_116,R_0019_0031__BIRDS,R_0019_0033__BROWN,R_0019_0034__TROUT,R_0019_0032__AND,R_0019_0036__COURTIERS,Z_000_19_A_ALRESFORD_92,Z_000_19_A_ALRESFORD_91,R_0019_0030__WITH,Z_000_19_A_ALRESFORD_64] :
              ( r_0019_0018__maybe(R_0019_0018__MAYBE)
              & r_0019_0021__months(R_0019_0021__MONTHS)
              & r_0019_0023__the_r_0019_0024__river(R_0019_0023__THE_R_0019_0024__RIVER)
              & r_0019_0031__birds(R_0019_0031__BIRDS)
              & r_0019_0033__brown(R_0019_0033__BROWN)
              & r_0019_0038__willow(R_0019_0038__WILLOW)
              & r_0019_0040__alder(R_0019_0040__ALDER)
              & z_000_19_a_alresford_64(Z_000_19_A_ALRESFORD_64)
              & has_conj1(Z_000_19_A_ALRESFORD_64,R_0019_0030__WITH)
              & r_0019_0030__with(R_0019_0030__WITH)
              & has_conj1(R_0019_0030__WITH,Z_000_19_A_ALRESFORD_91)
              & z_000_19_a_alresford_91(Z_000_19_A_ALRESFORD_91)
              & has_conj1(Z_000_19_A_ALRESFORD_91,Z_000_19_A_ALRESFORD_92)
              & z_000_19_a_alresford_92(Z_000_19_A_ALRESFORD_92)
              & has_prd(Z_000_19_A_ALRESFORD_92,R_0019_0036__COURTIERS)
              & r_0019_0036__courtiers(R_0019_0036__COURTIERS)
              & has_gen(R_0019_0036__COURTIERS,R_0019_0023__THE_R_0019_0024__RIVER)
              & has_arg0(Z_000_19_A_ALRESFORD_92,R_0019_0032__AND)
              & r_0019_0032__and(R_0019_0032__AND)
              & has_conj2(R_0019_0032__AND,R_0019_0034__TROUT)
              & r_0019_0034__trout(R_0019_0034__TROUT)
              & has_attrib102(R_0019_0034__TROUT,R_0019_0033__BROWN)
              & has_conj1(R_0019_0032__AND,R_0019_0031__BIRDS)
              & has_conj2(Z_000_19_A_ALRESFORD_91,Z_000_19_A_ALRESFORD_116)
              & z_000_19_a_alresford_116(Z_000_19_A_ALRESFORD_116)
              & has_prd(Z_000_19_A_ALRESFORD_116,R_0019_0042__SENTINELS)
              & r_0019_0042__sentinels(R_0019_0042__SENTINELS)
              & has_gen(R_0019_0042__SENTINELS,R_0019_0023__THE_R_0019_0024__RIVER)
              & has_arg0(Z_000_19_A_ALRESFORD_116,R_0019_0039__AND)
              & r_0019_0039__and(R_0019_0039__AND)
              & has_conj2(R_0019_0039__AND,R_0019_0040__ALDER)
              & has_conj1(R_0019_0039__AND,R_0019_0038__WILLOW)
              & ! [R_0019_0028__MOODS,R_0019_0027__ITS] :
                  ( ( r_0019_0027__its(R_0019_0027__ITS)
                    & r_0019_0028__moods(R_0019_0028__MOODS)
                    & has_gen(R_0019_0028__MOODS,R_0019_0027__ITS) )
                 => ? [R_0019_0022__WATCHING] :
                      ( r_0019_0022__watching(R_0019_0022__WATCHING)
                      & has_r_0019_0025__in_nim77(R_0019_0022__WATCHING,R_0019_0028__MOODS)
                      & has_arg1(R_0019_0022__WATCHING,R_0019_0023__THE_R_0019_0024__RIVER)
                      & has_arg0(R_0019_0022__WATCHING,R_0019_0002__I) ) )
              & has_conj2(Z_000_19_A_ALRESFORD_64,R_0019_0020__SPENT)
              & r_0019_0020__spent(R_0019_0020__SPENT)
              & has_arg1(R_0019_0020__SPENT,R_0019_0021__MONTHS)
              & has_nim52(R_0019_0020__SPENT,R_0019_0018__MAYBE)
              & has_arg0(R_0019_0020__SPENT,R_0019_0002__I) ) ) ) ).

( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (VBP;_Tn.p_ add;{add})
                           (ADVP-CLR (ADV together;{together}))
                           (NP-OB1 (D the;{the})
                                   (NS moments;{moment})
                                   (PP (P-ROLE of;{of})
                                       (NP (ADJP (ADJ tranquil;{tranquil}))
                                           (N reflection;{reflection})))
                                   (IP-PPL (NP-LGS *)
                                           (VVN;_Tn.pr_ spent;{spend[in]})
                                           (PP-CLR (P-ROLE in;{in})
                                                   (NP (D this;{this})
                                                       (ADJP (ADJ quintessential;{quintessential}))
                                                       (N corner;{corner})
                                                       (PP (P-ROLE of;{of})
                                                           (NP (NPR England;{England})))))))))
          (PUNC ,)
          (ADVP-NIM (ADV maybe;{maybe}))
          (NP-SBJ (PRO I;{I}))
          (ILYR (VBD;_Tn_ spent;{spend})
                (NP-OB1 (NS months;{month}))
                (PP-SCON (IP-PPL2 (ILYR (VAG;_Tn_ watching;{watch})
                                        (NP-OB1;{RIVER} (D the;{the})
                                                        (N river;{river}))
                                        (PP-NIM (P-ROLE in;{in})
                                                (NP (Q all;{all})
                                                    (NP-GEN;{RIVER} (PRO;_genm_ its;{its}))
                                                    (NS moods;{mood}))))
                                  (PUNC ,)
                                  (PP-SCON (P-CONN with;{with})
                                           (IP-ADV (ILYR (ILYR (NP-SBJ (NLYR (NLYR (NS birds;{bird}))
                                                                             (CONJP (CONJ and;{and})
                                                                                    (NLYR (ADJP (ADJ brown;{brown}))
                                                                                          (N trout;{trout})))))
                                                               (NP-PRD (NP-GEN;{RIVER} (PRO;_genm_ its;{its}))
                                                                       (NS courtiers;{courtier})))
                                                         (PUNC ,)
                                                         (CONJP (ILYR (NP-SBJ (NLYR (NLYR (N willow;{willow}))
                                                                                    (CONJP (CONJ and;{and})
                                                                                           (NLYR (N alder;{alder})))))
                                                                      (NP-PRD (NP-GEN;{RIVER} (PRO;_genm_ its;{its}))
                                                                              (NS sentinels;{sentinel}))))))))))
          (PUNC .))
  (ID 19_a_alresford))