arc(r_0076_0002__fragments, r_0076_0001__Preserved, attrib3).
arc(r_0076_0002__fragments, r_0076_0004__the_r_0076_0005__first_r_0076_0007__text, r_0076_0003__of).
arc(r_0076_0004__the_r_0076_0005__first_r_0076_0007__text, r_0076_0006__legal, attrib16).
arc(r_0076_0009__known, r_0076_0004__the_r_0076_0005__first_r_0076_0007__text, arg1).
arc(r_0076_0009__known, r_0076_0011__the_r_0076_0012__Law, prd).
arc(r_0076_0009__known, z_000_76_a_factbook_2_2010_24, arg0).
arc(r_0076_0011__the_r_0076_0012__Law, r_0076_0014__the_r_0076_0015__Twelve_r_0076_0016__Tables, r_0076_0013__of).
arc(r_0076_0018__dating, r_0076_0004__the_r_0076_0005__first_r_0076_0007__text, arg0).
arc(r_0076_0018__dating, r_0076_0020__the_r_0076_0022__century, r_0076_0019__from_nim54).
arc(r_0076_0020__the_r_0076_0022__century, r_0076_0021__5th, attrib57).
arc(r_0076_0020__the_r_0076_0022__century, r_0076_0023__B_dot_C_dot_, qual62).
arc(r_0076_0025__contained, r_0076_0002__fragments, arg0).
arc(r_0076_0025__contained, r_0076_0027__provisions, arg1).
arc(r_0076_0027__provisions, r_0076_0026__specific, attrib70).
arc(r_0076_0028__designed, r_0076_0027__provisions, arg1).
arc(r_0076_0028__designed, z_000_76_a_factbook_2_2010_76, arg0).
arc(r_0076_0029__to_r_0076_0030__change, r_0076_0031__the_r_0076_0034__law, arg1).
arc(r_0076_0029__to_r_0076_0030__change, z_000_76_a_factbook_2_2010_76, arg0).
arc(r_0076_0031__the_r_0076_0034__law, r_0076_0032__prevailing, attrib89).
arc(r_0076_0031__the_r_0076_0034__law, r_0076_0033__customary, attrib92).
arc(z_000_76_a_factbook_2_2010_80, r_0076_0028__designed, scope).
arc(z_000_76_a_factbook_2_2010_80, r_0076_0029__to_r_0076_0030__change, restriction).

fof(formula,axiom,
    ? [R_76_9_KNOWN,Z_76_A_FACTBOOK_2_2010_24,R_76_11_THE_LAW,R_76_14_THE_TWELVE_TABLES,R_76_18_DATING,R_76_20_THE_CENTURY,R_76_21_5TH,R_76_23_B_DOT_C_DOT_,R_76_25_CONTAINED,R_76_2_FRAGMENTS,R_76_1_PRESERVED,R_76_4_THE_FIRST_TEXT,R_76_6_LEGAL,Z_76_A_FACTBOOK_2_2010_80,R_76_29_TO_CHANGE,R_76_31_THE_LAW,R_76_32_PREVAILING,R_76_33_CUSTOMARY,R_76_28_DESIGNED,Z_76_A_FACTBOOK_2_2010_76,R_76_27_PROVISIONS,R_76_26_SPECIFIC] :
      ( the_Twelve_Tables(R_76_14_THE_TWELVE_TABLES)
      & 5th(R_76_21_5TH)
      & b_dot_C_dot_(R_76_23_B_DOT_C_DOT_)
      & preserved(R_76_1_PRESERVED)
      & legal(R_76_6_LEGAL)
      & prevailing(R_76_32_PREVAILING)
      & customary(R_76_33_CUSTOMARY)
      & specific(R_76_26_SPECIFIC)
      & known(R_76_9_KNOWN,Z_76_A_FACTBOOK_2_2010_24,R_76_4_THE_FIRST_TEXT,R_76_11_THE_LAW)
      & the_first_text(R_76_4_THE_FIRST_TEXT)
      & attrib16(R_76_4_THE_FIRST_TEXT,R_76_6_LEGAL)
      & the_Law(R_76_11_THE_LAW)
      & of(R_76_11_THE_LAW,R_76_14_THE_TWELVE_TABLES)
      & dating(R_76_18_DATING,R_76_4_THE_FIRST_TEXT)
      & from_nim54(R_76_18_DATING,R_76_20_THE_CENTURY)
      & the_century(R_76_20_THE_CENTURY)
      & attrib57(R_76_20_THE_CENTURY,R_76_21_5TH)
      & qual62(R_76_20_THE_CENTURY,R_76_23_B_DOT_C_DOT_)
      & contained(R_76_25_CONTAINED,R_76_2_FRAGMENTS,R_76_27_PROVISIONS)
      & fragments(R_76_2_FRAGMENTS)
      & attrib3(R_76_2_FRAGMENTS,R_76_1_PRESERVED)
      & of(R_76_2_FRAGMENTS,R_76_4_THE_FIRST_TEXT)
      & provisions(R_76_27_PROVISIONS)
      & attrib70(R_76_27_PROVISIONS,R_76_26_SPECIFIC)
      & z_76_a_factbook_2_2010_80(Z_76_A_FACTBOOK_2_2010_80)
      & conj1(Z_76_A_FACTBOOK_2_2010_80,R_76_29_TO_CHANGE)
      & to_change(R_76_29_TO_CHANGE,Z_76_A_FACTBOOK_2_2010_76,R_76_31_THE_LAW)
      & the_law(R_76_31_THE_LAW)
      & attrib89(R_76_31_THE_LAW,R_76_32_PREVAILING)
      & attrib92(R_76_31_THE_LAW,R_76_33_CUSTOMARY)
      & conj2(Z_76_A_FACTBOOK_2_2010_80,R_76_28_DESIGNED)
      & designed(R_76_28_DESIGNED,Z_76_A_FACTBOOK_2_2010_76,R_76_27_PROVISIONS) ) ).

( (IP-MAT (NP-SBJ (ADJP (ADJ Preserved;{preserved}))
                  (NS fragments;{fragment})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (NUM first;{first})
                          (ADJP (ADJ legal;{legal}))
                          (N text;{text})
                          (PUNC ,)
                          (IP-PPL (NP-LGS *)
                                  (VVN;_Cn.n/a_ known;{know[as]})
                                  (PP-PRD (P-ROLE as;{as})
                                          (NP (D the;{the})
                                              (N Law;{law})
                                              (PP (P-ROLE of;{of})
                                                  (NP (D the;{the})
                                                      (NPR Twelve;{Twelve})
                                                      (NPR Tables;{Tables}))))))
                          (PUNC ,)
                          (IP-PPL (VAG;__ dating;{date})
                                  (PP-NIM (P-ROLE from;{from})
                                          (NP (D the;{the})
                                              (ADJP (ADJ 5th))
                                              (N century;{century})
                                              (ADVP (ADV B<dot>C<dot>))))))))
          (PUNC ,)
          (VBD;__ contained;{contain})
          (NP-OB1 (ADJP (ADJ specific;{specific}))
                  (NS provisions;{provision})
                  (IP-PPL (NP-LGS *)
                          (VVN;__ designed;{design})
                          (PP-SCON (IP-INF (TO to;{to})
                                           (VB;__ change;{change})
                                           (NP-OB1 (D the;{the})
                                                   (ADJP (ADJ prevailing;{prevailing}))
                                                   (ADJP (ADJ customary;{customary}))
                                                   (N law;{law}))))))
          (PUNC .))
  (ID 76_a_factbook_2_2010))