TSPC 35_a_lob

35_a_lob_g01
It was a problem which had been worrying the servants of the royal household for some time — including those political clergy whom Wyclif had denounced — and, in the last year of Edward 3's reign, they had devised an experiment to overcome their difficulties.

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO It;{it}))
                      (BED;_Ln_ was;{be})
                      (NP-PRD (D a;{a})
                              (N problem;{problem})
                              (IP-REL (NP-SBJ (RPRO which;{which}))
                                      (HVD;_cat_Ve_ had;{have})
                                      (IP-PPL-CAT (BEN;_cat_Vg_ been;{be})
                                                  (IP-PPL-CAT (VAG;__ worrying;{worry})
                                                              (NP-OB1 (D the;{the})
                                                                      (NS servants;{servant})
                                                                      (PP (P-ROLE of;{of})
                                                                          (NP (D the;{the})
                                                                              (ADJP (ADJ royal;{royal}))
                                                                              (N household;{household})))
                                                                      (PP *ICH*-156))))
                                      (PP-NIM (P-ROLE for;{for})
                                              (NP (D some;{some})
                                                  (N time;{time})))
                                      (PUNC <mdash>)
                                      (PP-EPD-156 (P-ROLE including;{including})
                                                  (NP (D those;{those})
                                                      (ADJP (ADJ political;{political}))
                                                      (NS clergy;{clergy})
                                                      (IP-REL (NP-162 (RPRO whom;{who}))
                                                              (NP-SBJ (NPR Wyclif;{Wyclif}))
                                                              (HVD;_cat_Ve_ had;{have})
                                                              (IP-PPL-CAT (NP-OB1 *ICH*-162)
                                                                          (VVN;__ denounced;{denounce}))))))))
                (PUNC <mdash>)
                (CONJP (CONJ and;{and})
                       (PUNC ,)
                       (ILYR (PP-NIM (P-ROLE in;{in})
                                     (NP (D the;{the})
                                         (NUM last;{last})
                                         (N year;{year})
                                         (PP (P-ROLE of;{of})
                                             (NP (NP-GEN (NPR Edward;{Edward})
                                                         (NUM 3)
                                                         (GENM <apos>s))
                                                 (N reign;{reign})))))
                             (PUNC ,)
                             (NP-SBJ (PRO they;{they}))
                             (HVD;_cat_Ve_ had;{have})
                             (IP-PPL-CAT (VVN;_Tn_ devised;{devise})
                                         (NP-OB1 (D an;{an})
                                                 (N experiment;{experiment})))
                             (PP-SCON (IP-INF (TO to;{to})
                                              (VB;_Tn_ overcome;{overcome})
                                              (NP-OB1 (NP-GEN (PRO;_genm_ their;{their}))
                                                      (NS difficulties;{difficulty})))))))
          (PUNC .))
  (ID 35_a_lob_g01))

arc(r_0035_0002__was,r_0035_0001__It,arg0).
arc(r_0035_0002__was,r_0035_0003__a_r_0035_0004__problem,prd).
arc(r_0035_0006__had,r_0035_0007__been,scope).
arc(r_0035_0006__had,r_0035_0016__some_r_0035_0017__time,r_0035_0015__for__nim).
arc(r_0035_0007__been,r_0035_0008__worrying,scope).
arc(r_0035_0008__worrying,r_0035_0003__a_r_0035_0004__problem,arg0).
arc(r_0035_0008__worrying,r_0035_0009__the_r_0035_0010__servants,arg1).
arc(r_0035_0009__the_r_0035_0010__servants,r_0035_0012__the_r_0035_0014__household,r_0035_0011__of).
arc(r_0035_0009__the_r_0035_0010__servants,r_0035_0020__those_r_0035_0022__clergy,r_0035_0019__including).
arc(r_0035_0012__the_r_0035_0014__household,r_0035_0013__royal,attrib).
arc(r_0035_0020__those_r_0035_0022__clergy,r_0035_0021__political,attrib).
arc(r_0035_0025__had,r_0035_0026__denounced,scope).
arc(r_0035_0026__denounced,r_0035_0020__those_r_0035_0022__clergy,arg1).
arc(r_0035_0026__denounced,r_0035_0024__Wyclif,arg0).
arc(r_0035_0028__and,r_0035_0002__was,conj1).
arc(r_0035_0028__and,z_0035_5020,conj2).
arc(r_0035_0031__the_r_0035_0032__last_r_0035_0033__year,r_0035_0038__reign,r_0035_0034__of).
arc(r_0035_0038__reign,r_0035_0035__Edward_r_0035_0036__3,gen).
arc(r_0035_0041__had,r_0035_0031__the_r_0035_0032__last_r_0035_0033__year,r_0035_0030__in__nim).
arc(r_0035_0041__had,r_0035_0042__devised,scope).
arc(r_0035_0042__devised,r_0035_0040__they,arg0).
arc(r_0035_0042__devised,r_0035_0043__an_r_0035_0044__experiment,arg1).
arc(r_0035_0046__overcome,r_0035_0040__they,arg0).
arc(r_0035_0046__overcome,r_0035_0048__difficulties,arg1).
arc(r_0035_0048__difficulties,r_0035_0047__their,gen).
arc(z_0035_5020,r_0035_0041__had,scope).
arc(z_0035_5020,r_0035_0046__overcome,restriction).

fof(formula,axiom,
    ? [R_0035_0016__SOME_R_0035_0017__TIME,R_0035_0003__A_R_0035_0004__PROBLEM,R_0035_0013__ROYAL,R_0035_0012__THE_R_0035_0014__HOUSEHOLD,R_0035_0021__POLITICAL,R_0035_0020__THOSE_R_0035_0022__CLERGY,R_0035_0009__THE_R_0035_0010__SERVANTS,R_0035_0006__HAD_R_0035_0007__BEEN_R_0035_0008__WORRYING,R_0035_0024__WYCLIF,R_0035_0025__HAD_R_0035_0026__DENOUNCED,R_0035_0001__IT,R_0035_0002__WAS,R_0035_0035__EDWARD_R_0035_0036__3,R_0035_0038__REIGN,R_0035_0031__THE_R_0035_0032__LAST_R_0035_0033__YEAR,R_0035_0040__THEY,R_0035_0043__AN_R_0035_0044__EXPERIMENT,R_0035_0041__HAD_R_0035_0042__DEVISED,R_0035_0047__THEIR,R_0035_0048__DIFFICULTIES,R_0035_0046__OVERCOME,Z_0035_5020,R_0035_0028__AND] :
      ( r_0035_0001__It(R_0035_0001__IT)
      & r_0035_0003__a_r_0035_0004__problem(R_0035_0003__A_R_0035_0004__PROBLEM)
      & r_0035_0013__royal(R_0035_0013__ROYAL)
      & r_0035_0016__some_r_0035_0017__time(R_0035_0016__SOME_R_0035_0017__TIME)
      & r_0035_0021__political(R_0035_0021__POLITICAL)
      & r_0035_0024__Wyclif(R_0035_0024__WYCLIF)
      & r_0035_0035__Edward_r_0035_0036__3(R_0035_0035__EDWARD_R_0035_0036__3)
      & r_0035_0040__they(R_0035_0040__THEY)
      & r_0035_0043__an_r_0035_0044__experiment(R_0035_0043__AN_R_0035_0044__EXPERIMENT)
      & r_0035_0047__their(R_0035_0047__THEIR)
      & r_0035_0028__and(R_0035_0028__AND)
      & has_conj2(R_0035_0028__AND,Z_0035_5020)
      & z_0035_5020(Z_0035_5020)
      & has_conj1(Z_0035_5020,R_0035_0046__OVERCOME)
      & r_0035_0046__overcome(R_0035_0046__OVERCOME)
      & has_arg1(R_0035_0046__OVERCOME,R_0035_0048__DIFFICULTIES)
      & r_0035_0048__difficulties(R_0035_0048__DIFFICULTIES)
      & has_gen(R_0035_0048__DIFFICULTIES,R_0035_0047__THEIR)
      & has_arg0(R_0035_0046__OVERCOME,R_0035_0040__THEY)
      & has_conj2(Z_0035_5020,R_0035_0041__HAD_R_0035_0042__DEVISED)
      & r_0035_0041__had_r_0035_0042__devised(R_0035_0041__HAD_R_0035_0042__DEVISED)
      & has_arg1(R_0035_0041__HAD_R_0035_0042__DEVISED,R_0035_0043__AN_R_0035_0044__EXPERIMENT)
      & has_arg0(R_0035_0041__HAD_R_0035_0042__DEVISED,R_0035_0040__THEY)
      & has_r_0035_0030__in__nim(R_0035_0041__HAD_R_0035_0042__DEVISED,R_0035_0031__THE_R_0035_0032__LAST_R_0035_0033__YEAR)
      & r_0035_0031__the_r_0035_0032__last_r_0035_0033__year(R_0035_0031__THE_R_0035_0032__LAST_R_0035_0033__YEAR)
      & has_r_0035_0034__of(R_0035_0031__THE_R_0035_0032__LAST_R_0035_0033__YEAR,R_0035_0038__REIGN)
      & r_0035_0038__reign(R_0035_0038__REIGN)
      & has_gen(R_0035_0038__REIGN,R_0035_0035__EDWARD_R_0035_0036__3)
      & has_conj1(R_0035_0028__AND,R_0035_0002__WAS)
      & r_0035_0002__was(R_0035_0002__WAS)
      & has_prd(R_0035_0002__WAS,R_0035_0003__A_R_0035_0004__PROBLEM)
      & has_arg0(R_0035_0002__WAS,R_0035_0001__IT)
      & r_0035_0025__had_r_0035_0026__denounced(R_0035_0025__HAD_R_0035_0026__DENOUNCED)
      & has_arg0(R_0035_0025__HAD_R_0035_0026__DENOUNCED,R_0035_0024__WYCLIF)
      & has_arg1(R_0035_0025__HAD_R_0035_0026__DENOUNCED,R_0035_0020__THOSE_R_0035_0022__CLERGY)
      & r_0035_0020__those_r_0035_0022__clergy(R_0035_0020__THOSE_R_0035_0022__CLERGY)
      & has_attrib(R_0035_0020__THOSE_R_0035_0022__CLERGY,R_0035_0021__POLITICAL)
      & r_0035_0006__had_r_0035_0007__been_r_0035_0008__worrying(R_0035_0006__HAD_R_0035_0007__BEEN_R_0035_0008__WORRYING)
      & has_arg1(R_0035_0006__HAD_R_0035_0007__BEEN_R_0035_0008__WORRYING,R_0035_0009__THE_R_0035_0010__SERVANTS)
      & r_0035_0009__the_r_0035_0010__servants(R_0035_0009__THE_R_0035_0010__SERVANTS)
      & has_r_0035_0019__including(R_0035_0009__THE_R_0035_0010__SERVANTS,R_0035_0020__THOSE_R_0035_0022__CLERGY)
      & has_r_0035_0011__of(R_0035_0009__THE_R_0035_0010__SERVANTS,R_0035_0012__THE_R_0035_0014__HOUSEHOLD)
      & r_0035_0012__the_r_0035_0014__household(R_0035_0012__THE_R_0035_0014__HOUSEHOLD)
      & has_attrib(R_0035_0012__THE_R_0035_0014__HOUSEHOLD,R_0035_0013__ROYAL)
      & has_arg0(R_0035_0006__HAD_R_0035_0007__BEEN_R_0035_0008__WORRYING,R_0035_0003__A_R_0035_0004__PROBLEM)
      & has_r_0035_0015__for__nim(R_0035_0006__HAD_R_0035_0007__BEEN_R_0035_0008__WORRYING,R_0035_0016__SOME_R_0035_0017__TIME) ) ).