TSPC 23_a_lob

23_a_lob_g01
Social service as a function of government was quite alien to mediaeval thought — its substitute was the mutual self-help of communities, whether those communities were monasteries, manors, townships, or wards and guilds of a city.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{SOCIAL_SERVICE} (ADJP (ADJ Social;{social}))
                                               (N service;{service})
                                               (PP (P-ROLE as;{as})
                                                   (NP (D a;{a})
                                                       (N function;{function})
                                                       (PP (P-ROLE of;{of})
                                                           (NP (N government;{government}))))))
                      (BED;_La_ was;{be})
                      (ADJP-PRD (ADVP (ADV quite;{quite}))
                                (ADJ alien;{alien})
                                (PP (P-ROLE to;{to})
                                    (NP (ADJP (ADJ mediaeval;{mediaeval}))
                                        (N thought;{thought})))))
                (PUNC <mdash>)
                (CONJP (ILYR (NP-SBJ (NP-GEN;{SOCIAL_SERVICE} (PRO;_genm_ its;{its}))
                                     (N substitute;{substitute}))
                             (BED;_Ln_ was;{be})
                             (NP-PRD (D the;{the})
                                     (ADJP (ADJ mutual;{mutual}))
                                     (N self_<hyphen>_help;{self_help})
                                     (PP (P-ROLE of;{of})
                                         (NP (NS communities;{community}))))
                             (PUNC ,)
                             (PP-SCON (P-CONN whether;{whether})
                                      (IP-ADV (ILYR (ILYR (NP-SBJ (D those;{those})
                                                                  (NS communities;{community}))
                                                          (BED;_Ln_ were;{be})
                                                          (NP-PRD (NS monasteries;{monastery})))
                                                    (PUNC ,)
                                                    (CONJP (ILYR (NP-PRD (NS manors;{manor}))))
                                                    (PUNC ,)
                                                    (CONJP (ILYR (NP-PRD (NS townships;{township}))))
                                                    (PUNC ,)
                                                    (CONJP (CONJ or;{or})
                                                           (ILYR (NP-PRD (NLYR (NLYR (NS wards;{ward}))
                                                                               (CONJP (CONJ and;{and})
                                                                                      (NLYR (NS guilds;{guild}))))
                                                                         (PP (P-ROLE of;{of})
                                                                             (NP (D a;{a})
                                                                                 (N city;{city}))))))))))))
          (PUNC .))
  (ID 23_a_lob_g01))

arc(r_0023_0002__service,r_0023_0001__Social,attrib).
arc(r_0023_0002__service,r_0023_0004__a_r_0023_0005__function,r_0023_0003__as).
arc(r_0023_0004__a_r_0023_0005__function,r_0023_0007__government,r_0023_0006__of).
arc(r_0023_0008__was,r_0023_0002__service,arg0).
arc(r_0023_0008__was,r_0023_0010__alien,prd).
arc(r_0023_0010__alien,r_0023_0009__quite,qual).
arc(r_0023_0010__alien,r_0023_0013__thought,r_0023_0011__to).
arc(r_0023_0013__thought,r_0023_0012__mediaeval,attrib).
arc(r_0023_0016__substitute,r_0023_0002__service,gen).
arc(r_0023_0017__was,r_0023_0016__substitute,arg0).
arc(r_0023_0017__was,r_0023_0018__the_r_0023_0020__self__hyphen__help,prd).
arc(r_0023_0018__the_r_0023_0020__self__hyphen__help,r_0023_0019__mutual,attrib).
arc(r_0023_0018__the_r_0023_0020__self__hyphen__help,r_0023_0022__communities,r_0023_0021__of).
arc(r_0023_0024__whether,r_0023_0017__was,scope).
arc(r_0023_0024__whether,r_0023_0034__or,restriction).
arc(r_0023_0027__were,r_0023_0025__those_r_0023_0026__communities,arg0).
arc(r_0023_0027__were,r_0023_0028__monasteries,prd).
arc(r_0023_0034__or,r_0023_0027__were,conj1).
arc(r_0023_0034__or,z_0023_5018,conj2).
arc(r_0023_0034__or,z_0023_5021,conj3).
arc(r_0023_0034__or,z_0023_5027,conj4).
arc(r_0023_0036__and,r_0023_0035__wards,conj1).
arc(r_0023_0036__and,r_0023_0037__guilds,conj2).
arc(r_0023_0036__and,r_0023_0039__a_r_0023_0040__city,r_0023_0038__of).
arc(z_0023_5001,r_0023_0008__was,conj1).
arc(z_0023_5001,r_0023_0024__whether,conj2).
arc(z_0023_5018,r_0023_0030__manors,prd).
arc(z_0023_5021,r_0023_0032__townships,prd).
arc(z_0023_5027,r_0023_0036__and,prd).

fof(formula,axiom,
    ? [R_0023_0001__SOCIAL,R_0023_0007__GOVERNMENT,R_0023_0004__A_R_0023_0005__FUNCTION,R_0023_0002__SERVICE,R_0023_0009__QUITE,R_0023_0012__MEDIAEVAL,R_0023_0013__THOUGHT,R_0023_0010__ALIEN,R_0023_0008__WAS,R_0023_0016__SUBSTITUTE,R_0023_0019__MUTUAL,R_0023_0022__COMMUNITIES,R_0023_0018__THE_R_0023_0020__SELF__HYPHEN__HELP,R_0023_0017__WAS,R_0023_0025__THOSE_R_0023_0026__COMMUNITIES,R_0023_0028__MONASTERIES,R_0023_0027__WERE,R_0023_0030__MANORS,Z_0023_5018,R_0023_0032__TOWNSHIPS,Z_0023_5021,R_0023_0035__WARDS,R_0023_0037__GUILDS,R_0023_0039__A_R_0023_0040__CITY,R_0023_0036__AND,Z_0023_5027,R_0023_0034__OR,R_0023_0024__WHETHER,Z_0023_5001] :
      ( r_0023_0001__Social(R_0023_0001__SOCIAL)
      & r_0023_0007__government(R_0023_0007__GOVERNMENT)
      & r_0023_0009__quite(R_0023_0009__QUITE)
      & r_0023_0012__mediaeval(R_0023_0012__MEDIAEVAL)
      & r_0023_0019__mutual(R_0023_0019__MUTUAL)
      & r_0023_0022__communities(R_0023_0022__COMMUNITIES)
      & r_0023_0025__those_r_0023_0026__communities(R_0023_0025__THOSE_R_0023_0026__COMMUNITIES)
      & r_0023_0028__monasteries(R_0023_0028__MONASTERIES)
      & r_0023_0030__manors(R_0023_0030__MANORS)
      & r_0023_0032__townships(R_0023_0032__TOWNSHIPS)
      & r_0023_0035__wards(R_0023_0035__WARDS)
      & r_0023_0037__guilds(R_0023_0037__GUILDS)
      & r_0023_0039__a_r_0023_0040__city(R_0023_0039__A_R_0023_0040__CITY)
      & z_0023_5001(Z_0023_5001)
      & has_conj2(Z_0023_5001,R_0023_0024__WHETHER)
      & r_0023_0024__whether(R_0023_0024__WHETHER)
      & has_conj1(R_0023_0024__WHETHER,R_0023_0034__OR)
      & r_0023_0034__or(R_0023_0034__OR)
      & has_conj4(R_0023_0034__OR,Z_0023_5027)
      & z_0023_5027(Z_0023_5027)
      & has_prd(Z_0023_5027,R_0023_0036__AND)
      & r_0023_0036__and(R_0023_0036__AND)
      & has_r_0023_0038__of(R_0023_0036__AND,R_0023_0039__A_R_0023_0040__CITY)
      & has_conj2(R_0023_0036__AND,R_0023_0037__GUILDS)
      & has_conj1(R_0023_0036__AND,R_0023_0035__WARDS)
      & has_conj3(R_0023_0034__OR,Z_0023_5021)
      & z_0023_5021(Z_0023_5021)
      & has_prd(Z_0023_5021,R_0023_0032__TOWNSHIPS)
      & has_conj2(R_0023_0034__OR,Z_0023_5018)
      & z_0023_5018(Z_0023_5018)
      & has_prd(Z_0023_5018,R_0023_0030__MANORS)
      & has_conj1(R_0023_0034__OR,R_0023_0027__WERE)
      & r_0023_0027__were(R_0023_0027__WERE)
      & has_prd(R_0023_0027__WERE,R_0023_0028__MONASTERIES)
      & has_arg0(R_0023_0027__WERE,R_0023_0025__THOSE_R_0023_0026__COMMUNITIES)
      & has_conj2(R_0023_0024__WHETHER,R_0023_0017__WAS)
      & r_0023_0017__was(R_0023_0017__WAS)
      & has_prd(R_0023_0017__WAS,R_0023_0018__THE_R_0023_0020__SELF__HYPHEN__HELP)
      & r_0023_0018__the_r_0023_0020__self__hyphen__help(R_0023_0018__THE_R_0023_0020__SELF__HYPHEN__HELP)
      & has_r_0023_0021__of(R_0023_0018__THE_R_0023_0020__SELF__HYPHEN__HELP,R_0023_0022__COMMUNITIES)
      & has_attrib(R_0023_0018__THE_R_0023_0020__SELF__HYPHEN__HELP,R_0023_0019__MUTUAL)
      & has_arg0(R_0023_0017__WAS,R_0023_0016__SUBSTITUTE)
      & r_0023_0016__substitute(R_0023_0016__SUBSTITUTE)
      & has_gen(R_0023_0016__SUBSTITUTE,R_0023_0002__SERVICE)
      & r_0023_0002__service(R_0023_0002__SERVICE)
      & has_r_0023_0003__as(R_0023_0002__SERVICE,R_0023_0004__A_R_0023_0005__FUNCTION)
      & r_0023_0004__a_r_0023_0005__function(R_0023_0004__A_R_0023_0005__FUNCTION)
      & has_r_0023_0006__of(R_0023_0004__A_R_0023_0005__FUNCTION,R_0023_0007__GOVERNMENT)
      & has_attrib(R_0023_0002__SERVICE,R_0023_0001__SOCIAL)
      & has_conj1(Z_0023_5001,R_0023_0008__WAS)
      & r_0023_0008__was(R_0023_0008__WAS)
      & has_prd(R_0023_0008__WAS,R_0023_0010__ALIEN)
      & r_0023_0010__alien(R_0023_0010__ALIEN)
      & has_r_0023_0011__to(R_0023_0010__ALIEN,R_0023_0013__THOUGHT)
      & r_0023_0013__thought(R_0023_0013__THOUGHT)
      & has_attrib(R_0023_0013__THOUGHT,R_0023_0012__MEDIAEVAL)
      & has_qual(R_0023_0010__ALIEN,R_0023_0009__QUITE)
      & has_arg0(R_0023_0008__WAS,R_0023_0002__SERVICE) ) ).