arc(r_0091_0003__centuries, r_0091_0002__several, attrib8).
arc(r_0091_0003__centuries, r_0091_0008__rule, r_0091_0004__of).
arc(r_0091_0006__and, r_0091_0005__Hapsburg, conj1).
arc(r_0091_0006__and, r_0091_0007__Bourbon, conj2).
arc(r_0091_0008__rule, r_0091_0006__and, attrib17).
arc(r_0091_0011__recompilations, r_0091_0010__systematic, attrib33).
arc(r_0091_0011__recompilations, r_0091_0013__the_r_0091_0017__system, r_0091_0012__of).
arc(r_0091_0013__the_r_0091_0017__system, r_0091_0014__existing, attrib44).
arc(r_0091_0013__the_r_0091_0017__system, r_0091_0015__national, attrib47).
arc(r_0091_0013__the_r_0091_0017__system, r_0091_0016__legal, attrib50).
arc(r_0091_0018__were, r_0091_0003__centuries, r_0091_0001__During_nim7).
arc(r_0091_0018__were, r_0091_0011__recompilations, arg0).
arc(r_0091_0018__were, r_0091_0019__attempted, prd).
arc(r_0091_0021__but, r_0091_0018__were, conj1).
arc(r_0091_0021__but, r_0091_0024__conflicted, conj2).
arc(r_0091_0024__conflicted, r_0091_0022__these, arg0).
arc(r_0091_0024__conflicted, r_0091_0023__often, nim69).
arc(r_0091_0024__conflicted, r_0091_0031__laws, r_0091_0025__with_nim77).
arc(r_0091_0027__and, r_0091_0026__local, conj1).
arc(r_0091_0027__and, r_0091_0028__regional, conj2).
arc(r_0091_0031__laws, r_0091_0027__and, attrib78).
arc(r_0091_0031__laws, r_0091_0029__customary, attrib89).
arc(r_0091_0031__laws, r_0091_0030__civil, attrib92).

fof(formula,axiom,
    ? [R_91_21_BUT,R_91_18_WERE,R_91_11_RECOMPILATIONS,R_91_10_SYSTEMATIC,R_91_13_THE_SYSTEM,R_91_14_EXISTING,R_91_15_NATIONAL,R_91_16_LEGAL,R_91_19_ATTEMPTED,R_91_3_CENTURIES,R_91_2_SEVERAL,R_91_8_RULE,R_91_6_AND,R_91_5_HAPSBURG,R_91_7_BOURBON,R_91_24_CONFLICTED,R_91_22_THESE,R_91_23_OFTEN,R_91_31_LAWS,R_91_27_AND,R_91_26_LOCAL,R_91_28_REGIONAL,R_91_29_CUSTOMARY,R_91_30_CIVIL] :
      ( systematic(R_91_10_SYSTEMATIC)
      & existing(R_91_14_EXISTING)
      & national(R_91_15_NATIONAL)
      & legal(R_91_16_LEGAL)
      & attempted(R_91_19_ATTEMPTED)
      & several(R_91_2_SEVERAL)
      & hapsburg(R_91_5_HAPSBURG)
      & bourbon(R_91_7_BOURBON)
      & these(R_91_22_THESE)
      & often(R_91_23_OFTEN)
      & local(R_91_26_LOCAL)
      & regional(R_91_28_REGIONAL)
      & customary(R_91_29_CUSTOMARY)
      & civil(R_91_30_CIVIL)
      & but(R_91_21_BUT)
      & conj1(R_91_21_BUT,R_91_18_WERE)
      & were(R_91_18_WERE,R_91_11_RECOMPILATIONS,R_91_19_ATTEMPTED)
      & recompilations(R_91_11_RECOMPILATIONS)
      & attrib33(R_91_11_RECOMPILATIONS,R_91_10_SYSTEMATIC)
      & of(R_91_11_RECOMPILATIONS,R_91_13_THE_SYSTEM)
      & the_system(R_91_13_THE_SYSTEM)
      & attrib44(R_91_13_THE_SYSTEM,R_91_14_EXISTING)
      & attrib47(R_91_13_THE_SYSTEM,R_91_15_NATIONAL)
      & attrib50(R_91_13_THE_SYSTEM,R_91_16_LEGAL)
      & during_nim7(R_91_18_WERE,R_91_3_CENTURIES)
      & centuries(R_91_3_CENTURIES)
      & attrib8(R_91_3_CENTURIES,R_91_2_SEVERAL)
      & of(R_91_3_CENTURIES,R_91_8_RULE)
      & rule(R_91_8_RULE)
      & attrib17(R_91_8_RULE,R_91_6_AND)
      & and(R_91_6_AND)
      & conj1(R_91_6_AND,R_91_5_HAPSBURG)
      & conj2(R_91_6_AND,R_91_7_BOURBON)
      & conj2(R_91_21_BUT,R_91_24_CONFLICTED)
      & conflicted(R_91_24_CONFLICTED,R_91_22_THESE)
      & nim69(R_91_24_CONFLICTED,R_91_23_OFTEN)
      & with_nim77(R_91_24_CONFLICTED,R_91_31_LAWS)
      & laws(R_91_31_LAWS)
      & attrib78(R_91_31_LAWS,R_91_27_AND)
      & and(R_91_27_AND)
      & conj1(R_91_27_AND,R_91_26_LOCAL)
      & conj2(R_91_27_AND,R_91_28_REGIONAL)
      & attrib89(R_91_31_LAWS,R_91_29_CUSTOMARY)
      & attrib92(R_91_31_LAWS,R_91_30_CIVIL) ) ).

( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE During;{during})
                              (NP (ADJP (ADJ several;{several}))
                                  (NS centuries;{century})
                                  (PP (P-ROLE of;{of})
                                      (NP (ADJP (AJLYR (AJLYR (ADJ Hapsburg;{hapsburg}))
                                                       (CONJP (CONJ and;{and})
                                                              (AJLYR (ADJ Bourbon;{bourbon})))))
                                          (N rule;{rule})))))
                      (PUNC ,)
                      (NP-SBJ;{RECOMPILATIONS} (ADJP (ADJ systematic;{systematic}))
                                               (NS recompilations;{recompilations})
                                               (PP (P-ROLE of;{of})
                                                   (NP (D the;{the})
                                                       (ADJP (ADJ existing;{existing}))
                                                       (ADJP (ADJ national;{national}))
                                                       (ADJP (ADJ legal;{legal}))
                                                       (N system;{system}))))
                      (BED;_La_ were;{be})
                      (ADJP-PRD (ADJ attempted;{attempted})))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{RECOMPILATIONS} (D;_nphd_ these;{these}))
                             (ADVP-NIM (ADV often;{often}))
                             (VBD;__ conflicted;{conflict})
                             (PP-NIM (P-ROLE with;{with})
                                     (NP (ADJP (AJLYR (AJLYR (ADJ local;{local}))
                                                      (CONJP (CONJ and;{and})
                                                             (AJLYR (ADJ regional;{regional})))))
                                         (ADJP (ADJ customary;{customary}))
                                         (ADJP (ADJ civil;{civil}))
                                         (NS laws;{law}))))))
          (PUNC .))
  (ID 91_a_factbook_2_2010))