TSPC 36_a_factbook_2

36_a_factbook_2_2010
Laws in the northern areas of present-day France were mostly local customs based on privileges and exemptions granted by kings and feudal lords, while in the southern areas Roman law predominated.

arc(r_0036_0001__Laws, r_0036_0003__the_r_0036_0005__areas, r_0036_0002__in).
arc(r_0036_0003__the_r_0036_0005__areas, r_0036_0004__northern, attrib11).
arc(r_0036_0003__the_r_0036_0005__areas, r_0036_0008__France, r_0036_0006__of).
arc(r_0036_0008__France, r_0036_0007__present__hyphen__day, attrib20).
arc(r_0036_0009__were, r_0036_0001__Laws, arg0).
arc(r_0036_0009__were, r_0036_0010__mostly, nim27).
arc(r_0036_0009__were, r_0036_0012__customs, prd).
arc(r_0036_0012__customs, r_0036_0011__local, attrib31).
arc(r_0036_0013__based, r_0036_0012__customs, arg1).
arc(r_0036_0013__based, r_0036_0016__and, r_0036_0014__on_clr44).
arc(r_0036_0013__based, z_000_36_a_factbook_2_2010_37, arg0).
arc(r_0036_0016__and, r_0036_0015__privileges, conj1).
arc(r_0036_0016__and, r_0036_0017__exemptions, conj2).
arc(r_0036_0018__granted, r_0036_0016__and, arg1).
arc(r_0036_0018__granted, r_0036_0021__and, arg0).
arc(r_0036_0021__and, r_0036_0020__kings, conj1).
arc(r_0036_0021__and, r_0036_0023__lords, conj2).
arc(r_0036_0023__lords, r_0036_0022__feudal, attrib70).
arc(r_0036_0025__while, r_0036_0009__were, scope).
arc(r_0036_0025__while, r_0036_0032__predominated, restriction).
arc(r_0036_0027__the_r_0036_0029__areas, r_0036_0028__southern, attrib87).
arc(r_0036_0031__law, r_0036_0030__Roman, attrib93).
arc(r_0036_0032__predominated, r_0036_0027__the_r_0036_0029__areas, r_0036_0026__in_nim84).
arc(r_0036_0032__predominated, r_0036_0031__law, arg0).

fof(formula,axiom,
    ? [R_0036_0011__LOCAL,R_0036_0012__CUSTOMS,R_0036_0015__PRIVILEGES,R_0036_0017__EXEMPTIONS,R_0036_0016__AND,Z_000_36_A_FACTBOOK_2_2010_37,R_0036_0013__BASED,R_0036_0020__KINGS,R_0036_0022__FEUDAL,R_0036_0023__LORDS,R_0036_0021__AND,R_0036_0018__GRANTED,R_0036_0004__NORTHERN,R_0036_0007__PRESENT__HYPHEN__DAY,R_0036_0008__FRANCE,R_0036_0003__THE_R_0036_0005__AREAS,R_0036_0001__LAWS,R_0036_0010__MOSTLY,R_0036_0009__WERE,R_0036_0028__SOUTHERN,R_0036_0027__THE_R_0036_0029__AREAS,R_0036_0030__ROMAN,R_0036_0031__LAW,R_0036_0032__PREDOMINATED,R_0036_0025__WHILE] :
      ( r_0036_0004__northern(R_0036_0004__NORTHERN)
      & r_0036_0007__present__hyphen__day(R_0036_0007__PRESENT__HYPHEN__DAY)
      & r_0036_0010__mostly(R_0036_0010__MOSTLY)
      & r_0036_0011__local(R_0036_0011__LOCAL)
      & r_0036_0015__privileges(R_0036_0015__PRIVILEGES)
      & r_0036_0017__exemptions(R_0036_0017__EXEMPTIONS)
      & r_0036_0020__kings(R_0036_0020__KINGS)
      & r_0036_0022__feudal(R_0036_0022__FEUDAL)
      & r_0036_0028__southern(R_0036_0028__SOUTHERN)
      & r_0036_0030__Roman(R_0036_0030__ROMAN)
      & z_000_36_a_factbook_2_2010_37(Z_000_36_A_FACTBOOK_2_2010_37)
      & r_0036_0025__while(R_0036_0025__WHILE)
      & has_conj1(R_0036_0025__WHILE,R_0036_0032__PREDOMINATED)
      & r_0036_0032__predominated(R_0036_0032__PREDOMINATED)
      & has_arg0(R_0036_0032__PREDOMINATED,R_0036_0031__LAW)
      & r_0036_0031__law(R_0036_0031__LAW)
      & has_attrib93(R_0036_0031__LAW,R_0036_0030__ROMAN)
      & has_r_0036_0026__in_nim84(R_0036_0032__PREDOMINATED,R_0036_0027__THE_R_0036_0029__AREAS)
      & r_0036_0027__the_r_0036_0029__areas(R_0036_0027__THE_R_0036_0029__AREAS)
      & has_attrib87(R_0036_0027__THE_R_0036_0029__AREAS,R_0036_0028__SOUTHERN)
      & has_conj2(R_0036_0025__WHILE,R_0036_0009__WERE)
      & r_0036_0009__were(R_0036_0009__WERE)
      & has_prd(R_0036_0009__WERE,R_0036_0012__CUSTOMS)
      & r_0036_0012__customs(R_0036_0012__CUSTOMS)
      & has_attrib31(R_0036_0012__CUSTOMS,R_0036_0011__LOCAL)
      & has_nim27(R_0036_0009__WERE,R_0036_0010__MOSTLY)
      & has_arg0(R_0036_0009__WERE,R_0036_0001__LAWS)
      & r_0036_0001__Laws(R_0036_0001__LAWS)
      & has_r_0036_0002__in(R_0036_0001__LAWS,R_0036_0003__THE_R_0036_0005__AREAS)
      & r_0036_0003__the_r_0036_0005__areas(R_0036_0003__THE_R_0036_0005__AREAS)
      & has_r_0036_0006__of(R_0036_0003__THE_R_0036_0005__AREAS,R_0036_0008__FRANCE)
      & r_0036_0008__France(R_0036_0008__FRANCE)
      & has_attrib20(R_0036_0008__FRANCE,R_0036_0007__PRESENT__HYPHEN__DAY)
      & has_attrib11(R_0036_0003__THE_R_0036_0005__AREAS,R_0036_0004__NORTHERN)
      & r_0036_0018__granted(R_0036_0018__GRANTED)
      & has_arg0(R_0036_0018__GRANTED,R_0036_0021__AND)
      & r_0036_0021__and(R_0036_0021__AND)
      & has_conj2(R_0036_0021__AND,R_0036_0023__LORDS)
      & r_0036_0023__lords(R_0036_0023__LORDS)
      & has_attrib70(R_0036_0023__LORDS,R_0036_0022__FEUDAL)
      & has_conj1(R_0036_0021__AND,R_0036_0020__KINGS)
      & has_arg1(R_0036_0018__GRANTED,R_0036_0016__AND)
      & r_0036_0016__and(R_0036_0016__AND)
      & has_conj2(R_0036_0016__AND,R_0036_0017__EXEMPTIONS)
      & has_conj1(R_0036_0016__AND,R_0036_0015__PRIVILEGES)
      & r_0036_0013__based(R_0036_0013__BASED)
      & has_arg0(R_0036_0013__BASED,Z_000_36_A_FACTBOOK_2_2010_37)
      & has_r_0036_0014__on_clr44(R_0036_0013__BASED,R_0036_0016__AND)
      & has_arg1(R_0036_0013__BASED,R_0036_0012__CUSTOMS) ) ).

( (IP-MAT (NP-SBJ (NS Laws;{law})
                  (PP (P-ROLE in;{in})
                      (NP (D the;{the})
                          (ADJP (ADJ northern;{northern}))
                          (NS areas;{area})
                          (PP (P-ROLE of;{of})
                              (NP (ADJP (ADJ present_<hyphen>_day;{present_day}))
                                  (NPR France;{France}))))))
          (BED;_Ln_ were;{be})
          (ADVP-NIM (ADV mostly;{mostly}))
          (NP-PRD (ADJP (ADJ local;{local}))
                  (NS customs;{custom})
                  (IP-PPL (NP-LGS *)
                          (VVN;_phr_Vn.pr_ based;{base[on]})
                          (PP-CLR (P-ROLE on;{on})
                                  (NP (NLYR (NLYR (NS privileges;{privilege}))
                                            (CONJP (CONJ and;{and})
                                                   (NLYR (NS exemptions;{exemption}))))
                                      (IP-PPL (VVN;_Tn_ granted;{grant})
                                              (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                      (NP (NLYR (NLYR (NS kings;{king}))
                                                                (CONJP (CONJ and;{and})
                                                                       (NLYR (ADJP (ADJ feudal;{feudal}))
                                                                             (NS lords;{lord})))))))))))
          (PUNC ,)
          (PP-SCON (P-CONN while;{while})
                   (IP-ADV (PP-NIM (P-ROLE in;{in})
                                   (NP (D the;{the})
                                       (ADJP (ADJ southern;{southern}))
                                       (NS areas;{area})))
                           (NP-SBJ (ADJP (ADJ Roman;{roman}))
                                   (N law;{law}))
                           (VBD;_I_ predominated;{predominate})))
          (PUNC .))
  (ID 36_a_factbook_2_2010))