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_36_13_BASED,Z_36_A_FACTBOOK_2_2010_37,R_36_18_GRANTED,R_36_21_AND,R_36_20_KINGS,R_36_23_LORDS,R_36_22_FEUDAL,R_36_16_AND,R_36_15_PRIVILEGES,R_36_17_EXEMPTIONS,R_36_25_WHILE,R_36_32_PREDOMINATED,R_36_31_LAW,R_36_30_ROMAN,R_36_27_THE_AREAS,R_36_28_SOUTHERN,R_36_9_WERE,R_36_1_LAWS,R_36_3_THE_AREAS,R_36_4_NORTHERN,R_36_8_FRANCE,R_36_7_PRESENT_HYPHEN_DAY,R_36_10_MOSTLY,R_36_12_CUSTOMS,R_36_11_LOCAL] :
      ( kings(R_36_20_KINGS)
      & feudal(R_36_22_FEUDAL)
      & privileges(R_36_15_PRIVILEGES)
      & exemptions(R_36_17_EXEMPTIONS)
      & roman(R_36_30_ROMAN)
      & southern(R_36_28_SOUTHERN)
      & northern(R_36_4_NORTHERN)
      & present_hyphen_day(R_36_7_PRESENT_HYPHEN_DAY)
      & mostly(R_36_10_MOSTLY)
      & local(R_36_11_LOCAL)
      & based(R_36_13_BASED,Z_36_A_FACTBOOK_2_2010_37,R_36_12_CUSTOMS)
      & customs(R_36_12_CUSTOMS)
      & attrib31(R_36_12_CUSTOMS,R_36_11_LOCAL)
      & on_clr44(R_36_13_BASED,R_36_16_AND)
      & and(R_36_16_AND)
      & conj1(R_36_16_AND,R_36_15_PRIVILEGES)
      & conj2(R_36_16_AND,R_36_17_EXEMPTIONS)
      & granted(R_36_18_GRANTED,R_36_21_AND,R_36_16_AND)
      & and(R_36_21_AND)
      & conj1(R_36_21_AND,R_36_20_KINGS)
      & conj2(R_36_21_AND,R_36_23_LORDS)
      & lords(R_36_23_LORDS)
      & attrib70(R_36_23_LORDS,R_36_22_FEUDAL)
      & while(R_36_25_WHILE)
      & conj1(R_36_25_WHILE,R_36_32_PREDOMINATED)
      & predominated(R_36_32_PREDOMINATED,R_36_31_LAW)
      & law(R_36_31_LAW)
      & attrib93(R_36_31_LAW,R_36_30_ROMAN)
      & in_nim84(R_36_32_PREDOMINATED,R_36_27_THE_AREAS)
      & the_areas(R_36_27_THE_AREAS)
      & attrib87(R_36_27_THE_AREAS,R_36_28_SOUTHERN)
      & conj2(R_36_25_WHILE,R_36_9_WERE)
      & were(R_36_9_WERE,R_36_1_LAWS,R_36_12_CUSTOMS)
      & laws(R_36_1_LAWS)
      & in(R_36_1_LAWS,R_36_3_THE_AREAS)
      & the_areas(R_36_3_THE_AREAS)
      & attrib11(R_36_3_THE_AREAS,R_36_4_NORTHERN)
      & of(R_36_3_THE_AREAS,R_36_8_FRANCE)
      & france(R_36_8_FRANCE)
      & attrib20(R_36_8_FRANCE,R_36_7_PRESENT_HYPHEN_DAY)
      & nim27(R_36_9_WERE,R_36_10_MOSTLY) ) ).

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