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.

arc(r_0023_0002__service, r_0023_0001__Social, attrib5).
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, qual27).
arc(r_0023_0010__alien, r_0023_0013__thought, r_0023_0011__to).
arc(r_0023_0013__thought, r_0023_0012__mediaeval, attrib36).
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, attrib56).
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_000_23_a_lob_g01_104, conj4).
arc(r_0023_0034__or, z_000_23_a_lob_g01_88, conj2).
arc(r_0023_0034__or, z_000_23_a_lob_g01_95, conj3).
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_000_23_a_lob_g01_104, r_0023_0036__and, prd).
arc(z_000_23_a_lob_g01_2, r_0023_0008__was, conj1).
arc(z_000_23_a_lob_g01_2, r_0023_0024__whether, conj2).
arc(z_000_23_a_lob_g01_88, r_0023_0030__manors, prd).
arc(z_000_23_a_lob_g01_95, r_0023_0032__townships, 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_0035__WARDS,R_0023_0037__GUILDS,R_0023_0039__A_R_0023_0040__CITY,R_0023_0036__AND,Z_000_23_A_LOB_G01_104,R_0023_0030__MANORS,Z_000_23_A_LOB_G01_88,R_0023_0032__TOWNSHIPS,Z_000_23_A_LOB_G01_95,R_0023_0034__OR,R_0023_0024__WHETHER,Z_000_23_A_LOB_G01_2] :
      ( 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_000_23_a_lob_g01_2(Z_000_23_A_LOB_G01_2)
      & has_conj2(Z_000_23_A_LOB_G01_2,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_conj3(R_0023_0034__OR,Z_000_23_A_LOB_G01_95)
      & z_000_23_a_lob_g01_95(Z_000_23_A_LOB_G01_95)
      & has_prd(Z_000_23_A_LOB_G01_95,R_0023_0032__TOWNSHIPS)
      & has_conj2(R_0023_0034__OR,Z_000_23_A_LOB_G01_88)
      & z_000_23_a_lob_g01_88(Z_000_23_A_LOB_G01_88)
      & has_prd(Z_000_23_A_LOB_G01_88,R_0023_0030__MANORS)
      & has_conj4(R_0023_0034__OR,Z_000_23_A_LOB_G01_104)
      & z_000_23_a_lob_g01_104(Z_000_23_A_LOB_G01_104)
      & has_prd(Z_000_23_A_LOB_G01_104,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_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_attrib56(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_attrib5(R_0023_0002__SERVICE,R_0023_0001__SOCIAL)
      & has_conj1(Z_000_23_A_LOB_G01_2,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_attrib36(R_0023_0013__THOUGHT,R_0023_0012__MEDIAEVAL)
      & has_qual27(R_0023_0010__ALIEN,R_0023_0009__QUITE)
      & has_arg0(R_0023_0008__WAS,R_0023_0002__SERVICE) ) ).

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