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

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

arc(r_0079_0002__was_r_0079_0004__in,r_0079_0003__only,nim).
arc(r_0079_0002__was_r_0079_0004__in,r_0079_0005__the_r_0079_0008__century,arg1).
arc(r_0079_0002__was_r_0079_0004__in,r_0079_0017__was,arg0).
arc(r_0079_0005__the_r_0079_0008__century,r_0079_0006__late,attrib).
arc(r_0079_0005__the_r_0079_0008__century,r_0079_0007__6th,attrib).
arc(r_0079_0005__the_r_0079_0008__century,r_0079_0009__A_dot_D_dot_,qual).
arc(r_0079_0011__a_r_0079_0014__code,r_0079_0012__comprehensive,attrib).
arc(r_0079_0011__a_r_0079_0014__code,r_0079_0013__Roman,attrib).
arc(r_0079_0011__a_r_0079_0014__code,r_0079_0016__laws,r_0079_0015__of).
arc(r_0079_0017__was,r_0079_0018__published,scope).
arc(r_0079_0018__published,r_0079_0011__a_r_0079_0014__code,arg1).
arc(r_0079_0018__published,r_0079_0020__see,prn).
arc(r_0079_0018__published,z_0079_5017___star_,arg0).
arc(r_0079_0020__see,r_0079_0021__Civil_r_0079_0022__Law,arg1).
arc(r_0079_0020__see,r_0079_0023__above,nim).
arc(r_0079_0020__see,z_0079_5014,arg0).

fof(formula,axiom,
    ? [R_0079_0003__ONLY,R_0079_0006__LATE,R_0079_0007__6TH,R_0079_0009__A_DOT_D_DOT_,R_0079_0005__THE_R_0079_0008__CENTURY,R_0079_0012__COMPREHENSIVE,R_0079_0013__ROMAN,R_0079_0016__LAWS,R_0079_0011__A_R_0079_0014__CODE,R_0079_0021__CIVIL_R_0079_0022__LAW,R_0079_0023__ABOVE,Z_0079_5014,R_0079_0020__SEE,Z_0079_5017___STAR_,R_0079_0017__WAS_R_0079_0018__PUBLISHED,R_0079_0002__WAS_R_0079_0004__IN] :
      ( r_0079_0003__only(R_0079_0003__ONLY)
      & r_0079_0006__late(R_0079_0006__LATE)
      & r_0079_0007__6th(R_0079_0007__6TH)
      & r_0079_0009__A_dot_D_dot_(R_0079_0009__A_DOT_D_DOT_)
      & r_0079_0012__comprehensive(R_0079_0012__COMPREHENSIVE)
      & r_0079_0013__Roman(R_0079_0013__ROMAN)
      & r_0079_0016__laws(R_0079_0016__LAWS)
      & r_0079_0021__Civil_r_0079_0022__Law(R_0079_0021__CIVIL_R_0079_0022__LAW)
      & r_0079_0023__above(R_0079_0023__ABOVE)
      & z_0079_5014(Z_0079_5014)
      & z_0079_5017___star_(Z_0079_5017___STAR_)
      & r_0079_0002__was_r_0079_0004__in(R_0079_0002__WAS_R_0079_0004__IN)
      & has_arg0(R_0079_0002__WAS_R_0079_0004__IN,R_0079_0017__WAS_R_0079_0018__PUBLISHED)
      & r_0079_0017__was_r_0079_0018__published(R_0079_0017__WAS_R_0079_0018__PUBLISHED)
      & has_arg0(R_0079_0017__WAS_R_0079_0018__PUBLISHED,Z_0079_5017___STAR_)
      & has_prn(R_0079_0017__WAS_R_0079_0018__PUBLISHED,R_0079_0020__SEE)
      & r_0079_0020__see(R_0079_0020__SEE)
      & has_arg0(R_0079_0020__SEE,Z_0079_5014)
      & has_nim(R_0079_0020__SEE,R_0079_0023__ABOVE)
      & has_arg1(R_0079_0020__SEE,R_0079_0021__CIVIL_R_0079_0022__LAW)
      & has_arg1(R_0079_0017__WAS_R_0079_0018__PUBLISHED,R_0079_0011__A_R_0079_0014__CODE)
      & r_0079_0011__a_r_0079_0014__code(R_0079_0011__A_R_0079_0014__CODE)
      & has_r_0079_0015__of(R_0079_0011__A_R_0079_0014__CODE,R_0079_0016__LAWS)
      & has_attrib(R_0079_0011__A_R_0079_0014__CODE,R_0079_0013__ROMAN)
      & has_attrib(R_0079_0011__A_R_0079_0014__CODE,R_0079_0012__COMPREHENSIVE)
      & has_arg1(R_0079_0002__WAS_R_0079_0004__IN,R_0079_0005__THE_R_0079_0008__CENTURY)
      & r_0079_0005__the_r_0079_0008__century(R_0079_0005__THE_R_0079_0008__CENTURY)
      & has_qual(R_0079_0005__THE_R_0079_0008__CENTURY,R_0079_0009__A_DOT_D_DOT_)
      & has_attrib(R_0079_0005__THE_R_0079_0008__CENTURY,R_0079_0007__6TH)
      & has_attrib(R_0079_0005__THE_R_0079_0008__CENTURY,R_0079_0006__LATE)
      & has_nim(R_0079_0002__WAS_R_0079_0004__IN,R_0079_0003__ONLY) ) ).