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,
    ? [Z_23_A_LOB_G01_2,R_23_8_WAS,R_23_10_ALIEN,R_23_9_QUITE,R_23_13_THOUGHT,R_23_12_MEDIAEVAL,R_23_24_WHETHER,R_23_34_OR,R_23_27_WERE,R_23_25_THOSE_COMMUNITIES,R_23_28_MONASTERIES,Z_23_A_LOB_G01_88,R_23_30_MANORS,Z_23_A_LOB_G01_95,R_23_32_TOWNSHIPS,Z_23_A_LOB_G01_104,R_23_36_AND,R_23_35_WARDS,R_23_37_GUILDS,R_23_39_A_CITY,R_23_17_WAS,R_23_16_SUBSTITUTE,R_23_2_SERVICE,R_23_1_SOCIAL,R_23_4_A_FUNCTION,R_23_7_GOVERNMENT,R_23_18_THE_SELF_HYPHEN_HELP,R_23_19_MUTUAL,R_23_22_COMMUNITIES] :
      ( quite(R_23_9_QUITE)
      & mediaeval(R_23_12_MEDIAEVAL)
      & those_communities(R_23_25_THOSE_COMMUNITIES)
      & monasteries(R_23_28_MONASTERIES)
      & manors(R_23_30_MANORS)
      & townships(R_23_32_TOWNSHIPS)
      & wards(R_23_35_WARDS)
      & guilds(R_23_37_GUILDS)
      & a_city(R_23_39_A_CITY)
      & social(R_23_1_SOCIAL)
      & government(R_23_7_GOVERNMENT)
      & mutual(R_23_19_MUTUAL)
      & communities(R_23_22_COMMUNITIES)
      & z_23_a_lob_g01_2(Z_23_A_LOB_G01_2)
      & conj1(Z_23_A_LOB_G01_2,R_23_8_WAS)
      & was(R_23_8_WAS,R_23_2_SERVICE,R_23_10_ALIEN)
      & service(R_23_2_SERVICE)
      & attrib5(R_23_2_SERVICE,R_23_1_SOCIAL)
      & as(R_23_2_SERVICE,R_23_4_A_FUNCTION)
      & a_function(R_23_4_A_FUNCTION)
      & of(R_23_4_A_FUNCTION,R_23_7_GOVERNMENT)
      & alien(R_23_10_ALIEN)
      & qual27(R_23_10_ALIEN,R_23_9_QUITE)
      & to(R_23_10_ALIEN,R_23_13_THOUGHT)
      & thought(R_23_13_THOUGHT)
      & attrib36(R_23_13_THOUGHT,R_23_12_MEDIAEVAL)
      & conj2(Z_23_A_LOB_G01_2,R_23_24_WHETHER)
      & whether(R_23_24_WHETHER)
      & conj1(R_23_24_WHETHER,R_23_34_OR)
      & or(R_23_34_OR)
      & conj1(R_23_34_OR,R_23_27_WERE)
      & were(R_23_27_WERE,R_23_25_THOSE_COMMUNITIES,R_23_28_MONASTERIES)
      & conj2(R_23_34_OR,Z_23_A_LOB_G01_88)
      & z_23_a_lob_g01_88(Z_23_A_LOB_G01_88)
      & prd(Z_23_A_LOB_G01_88,R_23_30_MANORS)
      & conj3(R_23_34_OR,Z_23_A_LOB_G01_95)
      & z_23_a_lob_g01_95(Z_23_A_LOB_G01_95)
      & prd(Z_23_A_LOB_G01_95,R_23_32_TOWNSHIPS)
      & conj4(R_23_34_OR,Z_23_A_LOB_G01_104)
      & z_23_a_lob_g01_104(Z_23_A_LOB_G01_104)
      & prd(Z_23_A_LOB_G01_104,R_23_36_AND)
      & and(R_23_36_AND)
      & conj1(R_23_36_AND,R_23_35_WARDS)
      & conj2(R_23_36_AND,R_23_37_GUILDS)
      & of(R_23_36_AND,R_23_39_A_CITY)
      & conj2(R_23_24_WHETHER,R_23_17_WAS)
      & was(R_23_17_WAS,R_23_16_SUBSTITUTE,R_23_18_THE_SELF_HYPHEN_HELP)
      & substitute(R_23_16_SUBSTITUTE)
      & gen(R_23_16_SUBSTITUTE,R_23_2_SERVICE)
      & the_self_hyphen_help(R_23_18_THE_SELF_HYPHEN_HELP)
      & attrib56(R_23_18_THE_SELF_HYPHEN_HELP,R_23_19_MUTUAL)
      & of(R_23_18_THE_SELF_HYPHEN_HELP,R_23_22_COMMUNITIES) ) ).

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