TSPC 15_a_hardy

15_a_hardy_1883
When the shepherd and his family who tenanted the house were pitied for their sufferings from the exposure, they said that upon the whole they were less inconvenienced by ‘wuzzes and flames’ (hoarses and phlegms) than when they had lived by the stream of a snug neighbouring valley.

( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ;{FENNEL+FAMILY} (NLYR (NLYR;{FENNEL} (D the;{the})
                                                                        (N shepherd;{shepherd}))
                                                         (CONJP (CONJ and;{and})
                                                                (NLYR;{FAMILY} (NP-GEN;{FENNEL} (PRO;_genm_ his;{his}))
                                                                               (N family;{family}))))
                                                   (IP-REL (NP-SBJ (RPRO who;{who}))
                                                           (VBD;_Tn_ tenanted;{tenant})
                                                           (NP-OB1 (D the;{the})
                                                                   (N house;{house}))))
                           (BED;_cat_VePASS_ were;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Tn.pr_ pitied;{pity[for]})
                                       (PP-CLR (P-ROLE for;{for})
                                               (NP (NP-GEN;{FENNEL+FAMILY} (PRO;_genm_ their;{their}))
                                                   (NS sufferings;{suffering})
                                                   (PP (P-ROLE from;{from})
                                                       (NP (D the;{the})
                                                           (N exposure;{exposure}))))))))
          (PUNC ,)
          (NP-SBJ;{FENNEL+FAMILY} (PRO they;{they}))
          (VBD;_Tf_ said;{say})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (PP-NIM (P-ROLE upon;{upon})
                                      (NP (D the;{the})
                                          (N whole;{whole})))
                              (NP-SBJ;{FENNEL+FAMILY} (PRO they;{they}))
                              (BED;_La_ were;{be})
                              (ADJP-PRD (ADVP (ADV less;{less})
                                              (PP *ICH*-132))
                                        (ADJ inconvenienced;{inconvenienced})
                                        (PP (P-ROLE by;{by})
                                            (NP (PULQ <lquo>)
                                                (NLYR (NLYR (NS wuzzes;{wuzzes}))
                                                      (CONJP (CONJ and;{and})
                                                             (NLYR (NS flames;{flame}))))
                                                (PURQ <rquo>)
                                                (PULB -LRB-)
                                                (PRN (NP (NLYR (NLYR (NS hoarses;{hoar}))
                                                               (CONJP (CONJ and;{and})
                                                                      (NLYR (NS phlegms;{phlegm}))))))
                                                (PURB -RRB-)))
                                        (PP-EPD-132 (P-ROLE than;{than})
                                                    (NP (IP-REL (ADVP-NIM (RADV when;{when}))
                                                                (NP-SBJ;{FENNEL+FAMILY} (PRO they;{they}))
                                                                (HVD;_cat_Ve_ had;{have})
                                                                (IP-PPL-CAT (VVN;_Ipr_ lived;{live[by]})
                                                                            (PP-CLR (P-ROLE by;{by})
                                                                                    (NP (D the;{the})
                                                                                        (N stream;{stream})
                                                                                        (PP (P-ROLE of;{of})
                                                                                            (NP (D a;{a})
                                                                                                (ADJP (ADJ snug;{snug}))
                                                                                                (ADJP (ADJ neighbouring;{neighbouring}))
                                                                                                (N valley;{valley}))))))))))))
          (PUNC .))
  (ID 15_a_hardy_1883))

arc(r_0015_0001__When,r_0015_0011__were,restriction).
arc(r_0015_0001__When,r_0015_0021__said,scope).
arc(r_0015_0004__and,r_0015_0002__the_r_0015_0003__shepherd,conj1).
arc(r_0015_0004__and,r_0015_0006__family,conj2).
arc(r_0015_0006__family,r_0015_0002__the_r_0015_0003__shepherd,gen).
arc(r_0015_0008__tenanted,r_0015_0004__and,arg0).
arc(r_0015_0008__tenanted,r_0015_0009__the_r_0015_0010__house,arg1).
arc(r_0015_0011__were,r_0015_0012__pitied_r_0015_0013__for,scope).
arc(r_0015_0012__pitied_r_0015_0013__for,r_0015_0004__and,arg1).
arc(r_0015_0012__pitied_r_0015_0013__for,r_0015_0015__sufferings,arg2).
arc(r_0015_0012__pitied_r_0015_0013__for,z_0015_5012___star_,arg0).
arc(r_0015_0015__sufferings,r_0015_0004__and,gen).
arc(r_0015_0015__sufferings,r_0015_0017__the_r_0015_0018__exposure,r_0015_0016__from).
arc(r_0015_0021__said,r_0015_0004__and,arg0).
arc(r_0015_0021__said,r_0015_0027__were,arg1).
arc(r_0015_0027__were,r_0015_0004__and,arg0).
arc(r_0015_0027__were,r_0015_0024__the_r_0015_0025__whole,r_0015_0023__upon__nim).
arc(r_0015_0027__were,r_0015_0029__inconvenienced,prd).
arc(r_0015_0028__less,r_0015_0042__when,r_0015_0041__than).
arc(r_0015_0029__inconvenienced,r_0015_0028__less,qual).
arc(r_0015_0029__inconvenienced,r_0015_0033__and,r_0015_0030__by).
arc(r_0015_0033__and,r_0015_0032__wuzzes,conj1).
arc(r_0015_0033__and,r_0015_0034__flames,conj2).
arc(r_0015_0038__and,r_0015_0037__hoarses,conj1).
arc(r_0015_0038__and,r_0015_0039__phlegms,conj2).
arc(r_0015_0044__had,r_0015_0042__when,nim).
arc(r_0015_0044__had,r_0015_0045__lived_r_0015_0046__by,scope).
arc(r_0015_0045__lived_r_0015_0046__by,r_0015_0004__and,arg0).
arc(r_0015_0045__lived_r_0015_0046__by,r_0015_0047__the_r_0015_0048__stream,arg1).
arc(r_0015_0047__the_r_0015_0048__stream,r_0015_0050__a_r_0015_0053__valley,r_0015_0049__of).
arc(r_0015_0050__a_r_0015_0053__valley,r_0015_0051__snug,attrib).
arc(r_0015_0050__a_r_0015_0053__valley,r_0015_0052__neighbouring,attrib).
arc(z_0015_5034,r_0015_0033__and,arg0).
arc(z_0015_5034,r_0015_0038__and,prd).

fof(formula,axiom,
    ? [R_0015_0002__THE_R_0015_0003__SHEPHERD,R_0015_0006__FAMILY,R_0015_0004__AND,R_0015_0009__THE_R_0015_0010__HOUSE,R_0015_0008__TENANTED,R_0015_0042__WHEN,R_0015_0051__SNUG,R_0015_0052__NEIGHBOURING,R_0015_0050__A_R_0015_0053__VALLEY,R_0015_0047__THE_R_0015_0048__STREAM,R_0015_0044__HAD_R_0015_0045__LIVED_R_0015_0046__BY,R_0015_0032__WUZZES,R_0015_0034__FLAMES,R_0015_0033__AND,R_0015_0037__HOARSES,R_0015_0039__PHLEGMS,R_0015_0038__AND,Z_0015_5034] :
      ( r_0015_0002__the_r_0015_0003__shepherd(R_0015_0002__THE_R_0015_0003__SHEPHERD)
      & r_0015_0009__the_r_0015_0010__house(R_0015_0009__THE_R_0015_0010__HOUSE)
      & r_0015_0032__wuzzes(R_0015_0032__WUZZES)
      & r_0015_0034__flames(R_0015_0034__FLAMES)
      & r_0015_0037__hoarses(R_0015_0037__HOARSES)
      & r_0015_0039__phlegms(R_0015_0039__PHLEGMS)
      & r_0015_0042__when(R_0015_0042__WHEN)
      & r_0015_0051__snug(R_0015_0051__SNUG)
      & r_0015_0052__neighbouring(R_0015_0052__NEIGHBOURING)
      & z_0015_5034(Z_0015_5034)
      & has_prd(Z_0015_5034,R_0015_0038__AND)
      & r_0015_0038__and(R_0015_0038__AND)
      & has_conj2(R_0015_0038__AND,R_0015_0039__PHLEGMS)
      & has_conj1(R_0015_0038__AND,R_0015_0037__HOARSES)
      & has_arg0(Z_0015_5034,R_0015_0033__AND)
      & r_0015_0033__and(R_0015_0033__AND)
      & has_conj2(R_0015_0033__AND,R_0015_0034__FLAMES)
      & has_conj1(R_0015_0033__AND,R_0015_0032__WUZZES)
      & r_0015_0044__had_r_0015_0045__lived_r_0015_0046__by(R_0015_0044__HAD_R_0015_0045__LIVED_R_0015_0046__BY)
      & has_arg1(R_0015_0044__HAD_R_0015_0045__LIVED_R_0015_0046__BY,R_0015_0047__THE_R_0015_0048__STREAM)
      & r_0015_0047__the_r_0015_0048__stream(R_0015_0047__THE_R_0015_0048__STREAM)
      & has_r_0015_0049__of(R_0015_0047__THE_R_0015_0048__STREAM,R_0015_0050__A_R_0015_0053__VALLEY)
      & r_0015_0050__a_r_0015_0053__valley(R_0015_0050__A_R_0015_0053__VALLEY)
      & has_attrib(R_0015_0050__A_R_0015_0053__VALLEY,R_0015_0052__NEIGHBOURING)
      & has_attrib(R_0015_0050__A_R_0015_0053__VALLEY,R_0015_0051__SNUG)
      & has_arg0(R_0015_0044__HAD_R_0015_0045__LIVED_R_0015_0046__BY,R_0015_0004__AND)
      & r_0015_0004__and(R_0015_0004__AND)
      & has_conj2(R_0015_0004__AND,R_0015_0006__FAMILY)
      & r_0015_0006__family(R_0015_0006__FAMILY)
      & has_gen(R_0015_0006__FAMILY,R_0015_0002__THE_R_0015_0003__SHEPHERD)
      & has_conj1(R_0015_0004__AND,R_0015_0002__THE_R_0015_0003__SHEPHERD)
      & has_nim(R_0015_0044__HAD_R_0015_0045__LIVED_R_0015_0046__BY,R_0015_0042__WHEN)
      & r_0015_0008__tenanted(R_0015_0008__TENANTED)
      & has_arg1(R_0015_0008__TENANTED,R_0015_0009__THE_R_0015_0010__HOUSE)
      & has_arg0(R_0015_0008__TENANTED,R_0015_0004__AND)
      & ! [R_0015_0011__WERE_R_0015_0012__PITIED_R_0015_0013__FOR,R_0015_0017__THE_R_0015_0018__EXPOSURE,R_0015_0015__SUFFERINGS,Z_0015_5012___STAR_] :
          ( ( r_0015_0017__the_r_0015_0018__exposure(R_0015_0017__THE_R_0015_0018__EXPOSURE)
            & z_0015_5012___star_(Z_0015_5012___STAR_)
            & r_0015_0011__were_r_0015_0012__pitied_r_0015_0013__for(R_0015_0011__WERE_R_0015_0012__PITIED_R_0015_0013__FOR)
            & has_arg0(R_0015_0011__WERE_R_0015_0012__PITIED_R_0015_0013__FOR,Z_0015_5012___STAR_)
            & has_arg2(R_0015_0011__WERE_R_0015_0012__PITIED_R_0015_0013__FOR,R_0015_0015__SUFFERINGS)
            & r_0015_0015__sufferings(R_0015_0015__SUFFERINGS)
            & has_r_0015_0016__from(R_0015_0015__SUFFERINGS,R_0015_0017__THE_R_0015_0018__EXPOSURE)
            & has_gen(R_0015_0015__SUFFERINGS,R_0015_0004__AND)
            & has_arg1(R_0015_0011__WERE_R_0015_0012__PITIED_R_0015_0013__FOR,R_0015_0004__AND) )
         => ? [R_0015_0024__THE_R_0015_0025__WHOLE,R_0015_0028__LESS,R_0015_0029__INCONVENIENCED,R_0015_0027__WERE,R_0015_0021__SAID] :
              ( r_0015_0024__the_r_0015_0025__whole(R_0015_0024__THE_R_0015_0025__WHOLE)
              & r_0015_0021__said(R_0015_0021__SAID)
              & has_arg1(R_0015_0021__SAID,R_0015_0027__WERE)
              & r_0015_0027__were(R_0015_0027__WERE)
              & has_prd(R_0015_0027__WERE,R_0015_0029__INCONVENIENCED)
              & r_0015_0029__inconvenienced(R_0015_0029__INCONVENIENCED)
              & has_r_0015_0030__by(R_0015_0029__INCONVENIENCED,R_0015_0033__AND)
              & has_qual(R_0015_0029__INCONVENIENCED,R_0015_0028__LESS)
              & r_0015_0028__less(R_0015_0028__LESS)
              & has_r_0015_0041__than(R_0015_0028__LESS,R_0015_0042__WHEN)
              & has_r_0015_0023__upon__nim(R_0015_0027__WERE,R_0015_0024__THE_R_0015_0025__WHOLE)
              & has_arg0(R_0015_0027__WERE,R_0015_0004__AND)
              & has_arg0(R_0015_0021__SAID,R_0015_0004__AND) ) ) ) ).