( (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))

arc(r_0019_0001__If,r_0019_0003__add_r_0019_0004__together,restriction).
arc(r_0019_0001__If,z_0019_5013,scope).
arc(r_0019_0003__add_r_0019_0004__together,r_0019_0002__I,arg0).
arc(r_0019_0003__add_r_0019_0004__together,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,attrib).
arc(r_0019_0010__spent_r_0019_0011__in,r_0019_0005__the_r_0019_0006__moments,inv_arg1).
arc(r_0019_0010__spent_r_0019_0011__in,r_0019_0012__this_r_0019_0014__corner,arg2).
arc(r_0019_0010__spent_r_0019_0011__in,z_0019_5007___star_,arg0).
arc(r_0019_0012__this_r_0019_0014__corner,r_0019_0013__quintessential,attrib).
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,nim).
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__nim).
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_0023__the_r_0019_0024__river,gen).
arc(r_0019_0030__with,r_0019_0026__all__quant,scope).
arc(r_0019_0030__with,z_0019_5016,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,attrib).
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_0019_5013,r_0019_0020__spent,scope).
arc(z_0019_5013,r_0019_0030__with,restriction).
arc(z_0019_5016,z_0019_5023,conj1).
arc(z_0019_5016,z_0019_5030,conj2).
arc(z_0019_5023,r_0019_0032__and,arg0).
arc(z_0019_5023,r_0019_0036__courtiers,prd).
arc(z_0019_5030,r_0019_0039__and,arg0).
arc(z_0019_5030,r_0019_0042__sentinels,prd).

fof(formula,axiom,
    ! [R_0019_0003__ADD_R_0019_0004__TOGETHER,R_0019_0002__I,R_0019_0008__TRANQUIL,R_0019_0009__REFLECTION,R_0019_0013__QUINTESSENTIAL,R_0019_0016__ENGLAND,R_0019_0012__THIS_R_0019_0014__CORNER,Z_0019_5007___STAR_,R_0019_0010__SPENT_R_0019_0011__IN,R_0019_0005__THE_R_0019_0006__MOMENTS] :
      ( ( r_0019_0002__I(R_0019_0002__I)
        & 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_0019_5007___star_(Z_0019_5007___STAR_)
        & r_0019_0003__add_r_0019_0004__together(R_0019_0003__ADD_R_0019_0004__TOGETHER)
        & has_arg1(R_0019_0003__ADD_R_0019_0004__TOGETHER,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_inv_arg1(R_0019_0005__THE_R_0019_0006__MOMENTS,R_0019_0010__SPENT_R_0019_0011__IN)
        & r_0019_0010__spent_r_0019_0011__in(R_0019_0010__SPENT_R_0019_0011__IN)
        & has_arg0(R_0019_0010__SPENT_R_0019_0011__IN,Z_0019_5007___STAR_)
        & has_arg2(R_0019_0010__SPENT_R_0019_0011__IN,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_attrib(R_0019_0012__THIS_R_0019_0014__CORNER,R_0019_0013__QUINTESSENTIAL)
        & 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_attrib(R_0019_0009__REFLECTION,R_0019_0008__TRANQUIL)
        & has_arg0(R_0019_0003__ADD_R_0019_0004__TOGETHER,R_0019_0002__I) )
     => ? [R_0019_0018__MAYBE,R_0019_0021__MONTHS,R_0019_0020__SPENT,R_0019_0031__BIRDS,R_0019_0033__BROWN,R_0019_0034__TROUT,R_0019_0032__AND,R_0019_0023__THE_R_0019_0024__RIVER,R_0019_0036__COURTIERS,Z_0019_5023,R_0019_0038__WILLOW,R_0019_0040__ALDER,R_0019_0039__AND,R_0019_0042__SENTINELS,Z_0019_5030,Z_0019_5016,R_0019_0030__WITH,Z_0019_5013] :
          ( 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_0019_5013(Z_0019_5013)
          & has_conj1(Z_0019_5013,R_0019_0030__WITH)
          & r_0019_0030__with(R_0019_0030__WITH)
          & has_conj1(R_0019_0030__WITH,Z_0019_5016)
          & z_0019_5016(Z_0019_5016)
          & has_conj2(Z_0019_5016,Z_0019_5030)
          & z_0019_5030(Z_0019_5030)
          & has_prd(Z_0019_5030,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_0019_5030,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)
          & has_conj1(Z_0019_5016,Z_0019_5023)
          & z_0019_5023(Z_0019_5023)
          & has_prd(Z_0019_5023,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_0019_5023,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_attrib(R_0019_0034__TROUT,R_0019_0033__BROWN)
          & has_conj1(R_0019_0032__AND,R_0019_0031__BIRDS)
          & ! [R_0019_0028__MOODS] :
              ( ( r_0019_0028__moods(R_0019_0028__MOODS)
                & has_gen(R_0019_0028__MOODS,R_0019_0023__THE_R_0019_0024__RIVER) )
             => ? [R_0019_0022__WATCHING] :
                  ( r_0019_0022__watching(R_0019_0022__WATCHING)
                  & has_r_0019_0025__in__nim(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_0019_5013,R_0019_0020__SPENT)
          & r_0019_0020__spent(R_0019_0020__SPENT)
          & has_arg1(R_0019_0020__SPENT,R_0019_0021__MONTHS)
          & has_nim(R_0019_0020__SPENT,R_0019_0018__MAYBE)
          & has_arg0(R_0019_0020__SPENT,R_0019_0002__I) ) ) ).