TSPC 76_a_factbook_2

76_a_factbook_2_2010
Preserved fragments of the first legal text, known as the Law of the Twelve Tables, dating from the 5th century B.C., contained specific provisions designed to change the prevailing customary law.

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

arc(r_0076_0002__fragments,r_0076_0001__Preserved,attrib).
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,attrib).
arc(r_0076_0009__known,r_0076_0004__the_r_0076_0005__first_r_0076_0007__text,inv_arg1).
arc(r_0076_0009__known,r_0076_0011__the_r_0076_0012__Law,r_0076_0010__as__prd).
arc(r_0076_0009__known,z_0076_5006___star_,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,inv_arg0).
arc(r_0076_0018__dating,r_0076_0020__the_r_0076_0022__century,r_0076_0019__from__nim).
arc(r_0076_0020__the_r_0076_0022__century,r_0076_0021__5th,attrib).
arc(r_0076_0020__the_r_0076_0022__century,r_0076_0023__B_dot_C_dot_,qual).
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,attrib).
arc(r_0076_0028__designed,r_0076_0027__provisions,inv_arg1).
arc(r_0076_0028__designed,z_0076_5020___star_,arg0).
arc(r_0076_0030__change,r_0076_0027__provisions,arg0).
arc(r_0076_0030__change,r_0076_0031__the_r_0076_0034__law,arg1).
arc(r_0076_0031__the_r_0076_0034__law,r_0076_0032__prevailing,attrib).
arc(r_0076_0031__the_r_0076_0034__law,r_0076_0033__customary,attrib).
arc(z_0076_5014,r_0076_0028__designed,scope).
arc(z_0076_5014,r_0076_0030__change,restriction).

fof(formula,axiom,
    ? [R_0076_0001__PRESERVED,R_0076_0006__LEGAL,R_0076_0014__THE_R_0076_0015__TWELVE_R_0076_0016__TABLES,R_0076_0011__THE_R_0076_0012__LAW,Z_0076_5006___STAR_,R_0076_0009__KNOWN,R_0076_0021__5TH,R_0076_0023__B_DOT_C_DOT_,R_0076_0020__THE_R_0076_0022__CENTURY,R_0076_0018__DATING,R_0076_0004__THE_R_0076_0005__FIRST_R_0076_0007__TEXT,R_0076_0002__FRAGMENTS,R_0076_0026__SPECIFIC,Z_0076_5020___STAR_,R_0076_0028__DESIGNED,R_0076_0027__PROVISIONS,R_0076_0025__CONTAINED,R_0076_0032__PREVAILING,R_0076_0033__CUSTOMARY,R_0076_0031__THE_R_0076_0034__LAW,R_0076_0030__CHANGE,Z_0076_5014] :
      ( r_0076_0001__Preserved(R_0076_0001__PRESERVED)
      & r_0076_0006__legal(R_0076_0006__LEGAL)
      & r_0076_0014__the_r_0076_0015__Twelve_r_0076_0016__Tables(R_0076_0014__THE_R_0076_0015__TWELVE_R_0076_0016__TABLES)
      & r_0076_0021__5th(R_0076_0021__5TH)
      & r_0076_0023__B_dot_C_dot_(R_0076_0023__B_DOT_C_DOT_)
      & r_0076_0026__specific(R_0076_0026__SPECIFIC)
      & r_0076_0032__prevailing(R_0076_0032__PREVAILING)
      & r_0076_0033__customary(R_0076_0033__CUSTOMARY)
      & z_0076_5006___star_(Z_0076_5006___STAR_)
      & z_0076_5020___star_(Z_0076_5020___STAR_)
      & z_0076_5014(Z_0076_5014)
      & has_conj1(Z_0076_5014,R_0076_0030__CHANGE)
      & r_0076_0030__change(R_0076_0030__CHANGE)
      & has_arg1(R_0076_0030__CHANGE,R_0076_0031__THE_R_0076_0034__LAW)
      & r_0076_0031__the_r_0076_0034__law(R_0076_0031__THE_R_0076_0034__LAW)
      & has_attrib(R_0076_0031__THE_R_0076_0034__LAW,R_0076_0033__CUSTOMARY)
      & has_attrib(R_0076_0031__THE_R_0076_0034__LAW,R_0076_0032__PREVAILING)
      & has_arg0(R_0076_0030__CHANGE,R_0076_0027__PROVISIONS)
      & r_0076_0027__provisions(R_0076_0027__PROVISIONS)
      & has_inv_arg1(R_0076_0027__PROVISIONS,R_0076_0028__DESIGNED)
      & r_0076_0028__designed(R_0076_0028__DESIGNED)
      & has_arg0(R_0076_0028__DESIGNED,Z_0076_5020___STAR_)
      & has_attrib(R_0076_0027__PROVISIONS,R_0076_0026__SPECIFIC)
      & has_conj2(Z_0076_5014,R_0076_0028__DESIGNED)
      & r_0076_0025__contained(R_0076_0025__CONTAINED)
      & has_arg1(R_0076_0025__CONTAINED,R_0076_0027__PROVISIONS)
      & has_arg0(R_0076_0025__CONTAINED,R_0076_0002__FRAGMENTS)
      & r_0076_0002__fragments(R_0076_0002__FRAGMENTS)
      & has_r_0076_0003__of(R_0076_0002__FRAGMENTS,R_0076_0004__THE_R_0076_0005__FIRST_R_0076_0007__TEXT)
      & r_0076_0004__the_r_0076_0005__first_r_0076_0007__text(R_0076_0004__THE_R_0076_0005__FIRST_R_0076_0007__TEXT)
      & has_inv_arg0(R_0076_0004__THE_R_0076_0005__FIRST_R_0076_0007__TEXT,R_0076_0018__DATING)
      & r_0076_0018__dating(R_0076_0018__DATING)
      & has_r_0076_0019__from__nim(R_0076_0018__DATING,R_0076_0020__THE_R_0076_0022__CENTURY)
      & r_0076_0020__the_r_0076_0022__century(R_0076_0020__THE_R_0076_0022__CENTURY)
      & has_qual(R_0076_0020__THE_R_0076_0022__CENTURY,R_0076_0023__B_DOT_C_DOT_)
      & has_attrib(R_0076_0020__THE_R_0076_0022__CENTURY,R_0076_0021__5TH)
      & has_inv_arg1(R_0076_0004__THE_R_0076_0005__FIRST_R_0076_0007__TEXT,R_0076_0009__KNOWN)
      & r_0076_0009__known(R_0076_0009__KNOWN)
      & has_arg0(R_0076_0009__KNOWN,Z_0076_5006___STAR_)
      & has_r_0076_0010__as__prd(R_0076_0009__KNOWN,R_0076_0011__THE_R_0076_0012__LAW)
      & r_0076_0011__the_r_0076_0012__Law(R_0076_0011__THE_R_0076_0012__LAW)
      & has_r_0076_0013__of(R_0076_0011__THE_R_0076_0012__LAW,R_0076_0014__THE_R_0076_0015__TWELVE_R_0076_0016__TABLES)
      & has_attrib(R_0076_0004__THE_R_0076_0005__FIRST_R_0076_0007__TEXT,R_0076_0006__LEGAL)
      & has_attrib(R_0076_0002__FRAGMENTS,R_0076_0001__PRESERVED) ) ).