TSPC 79_a_factbook_2

79_a_factbook_2_2010
It was only in the late 6th century A.D. that a comprehensive Roman code of laws was published (see Civil Law above).

arc(r_0079_0002__was, r_0079_0003__only, nim7).
arc(r_0079_0002__was, r_0079_0005__the_r_0079_0008__century, r_0079_0004__in_clr13).
arc(r_0079_0002__was, r_0079_0010__that_r_0079_0017__was, arg0).
arc(r_0079_0005__the_r_0079_0008__century, r_0079_0006__late, attrib16).
arc(r_0079_0005__the_r_0079_0008__century, r_0079_0007__6th, attrib19).
arc(r_0079_0005__the_r_0079_0008__century, r_0079_0009__A_dot_D_dot_, qual24).
arc(r_0079_0010__that_r_0079_0017__was, r_0079_0018__published, scope).
arc(r_0079_0011__a_r_0079_0014__code, r_0079_0012__comprehensive, attrib34).
arc(r_0079_0011__a_r_0079_0014__code, r_0079_0013__Roman, attrib37).
arc(r_0079_0011__a_r_0079_0014__code, r_0079_0016__laws, r_0079_0015__of).
arc(r_0079_0018__published, r_0079_0011__a_r_0079_0014__code, arg1).
arc(r_0079_0018__published, z_000_79_a_factbook_2_2010_51, arg0).

fof(formula,axiom,
    ? [R_79_2_WAS,R_79_10_THAT_WAS_PUBLISHED,Z_79_A_FACTBOOK_2_2010_51,R_79_11_A_CODE,R_79_12_COMPREHENSIVE,R_79_13_ROMAN,R_79_16_LAWS,R_79_3_ONLY,R_79_5_THE_CENTURY,R_79_6_LATE,R_79_7_6TH,R_79_9_A_DOT_D_DOT_] :
      ( comprehensive(R_79_12_COMPREHENSIVE)
      & roman(R_79_13_ROMAN)
      & laws(R_79_16_LAWS)
      & only(R_79_3_ONLY)
      & late(R_79_6_LATE)
      & 6th(R_79_7_6TH)
      & a_dot_D_dot_(R_79_9_A_DOT_D_DOT_)
      & was(R_79_2_WAS,R_79_10_THAT_WAS_PUBLISHED)
      & that_was_published(R_79_10_THAT_WAS_PUBLISHED,Z_79_A_FACTBOOK_2_2010_51,R_79_11_A_CODE)
      & a_code(R_79_11_A_CODE)
      & attrib34(R_79_11_A_CODE,R_79_12_COMPREHENSIVE)
      & attrib37(R_79_11_A_CODE,R_79_13_ROMAN)
      & of(R_79_11_A_CODE,R_79_16_LAWS)
      & nim7(R_79_2_WAS,R_79_3_ONLY)
      & in_clr13(R_79_2_WAS,R_79_5_THE_CENTURY)
      & the_century(R_79_5_THE_CENTURY)
      & attrib16(R_79_5_THE_CENTURY,R_79_6_LATE)
      & attrib19(R_79_5_THE_CENTURY,R_79_7_6TH)
      & qual24(R_79_5_THE_CENTURY,R_79_9_A_DOT_D_DOT_) ) ).

( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (BED;_Ipr_ was;{be[in]})
          (ADVP-NIM (ADV only;{only}))
          (PP-CLR (P-ROLE in;{in})
                  (NP (D the;{the})
                      (ADJP (ADJ late;{late}))
                      (ADJP (ADJ 6th))
                      (N century;{century})
                      (ADVP (ADV A<dot>D<dot>))))
          (CP-THT-NSBJ (IP-SUB (C that;{that})
                               (NP-SBJ (D a;{a})
                                       (ADJP (ADJ comprehensive;{comprehensive}))
                                       (ADJP (ADJ Roman;{roman}))
                                       (N code;{code})
                                       (PP (P-ROLE of;{of})
                                           (NP (NS laws;{law}))))
                               (BED;_cat_VePASS_ was;{be})
                               (IP-PPL-CAT (NP-LGS *)
                                           (VVN;__ published;{publish})
                                           (PULB -LRB-)
                                           (PRN (IP-IMP (VB;__ see;{see})
                                                        (NP-OB1 (NPR Civil;{Civil})
                                                                (NPR Law;{Law}))
                                                        (ADVP-NIM (ADV above;{above}))))
                                           (PURB -RRB-))))
          (PUNC .))
  (ID 79_a_factbook_2_2010))