Context                Previous, Next                Top


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

%3 r_0079_0002__was was r_0079_0003__only only r_0079_0002__was->r_0079_0003__only [nim] r_0079_0005__the_r_0079_0008__century the century r_0079_0002__was->r_0079_0005__the_r_0079_0008__century in [clr] r_0079_0010__that_r_0079_0017__was that was r_0079_0002__was->r_0079_0010__that_r_0079_0017__was [arg0] r_0079_0006__late late r_0079_0005__the_r_0079_0008__century->r_0079_0006__late [attrib] r_0079_0007__6th 6th r_0079_0005__the_r_0079_0008__century->r_0079_0007__6th [attrib] r_0079_0009__A_dot_D_dot_ A.D. r_0079_0005__the_r_0079_0008__century->r_0079_0009__A_dot_D_dot_ [qual] r_0079_0018__published published r_0079_0010__that_r_0079_0017__was->r_0079_0018__published [scope] r_0079_0011__a_r_0079_0014__code a code r_0079_0018__published->r_0079_0011__a_r_0079_0014__code [arg1] z_000_79_a_factbook_2_2010_51 r_0079_0018__published->z_000_79_a_factbook_2_2010_51 [arg0] r_0079_0012__comprehensive comprehensive r_0079_0011__a_r_0079_0014__code->r_0079_0012__comprehensive [attrib] r_0079_0013__Roman Roman r_0079_0011__a_r_0079_0014__code->r_0079_0013__Roman [attrib] r_0079_0016__laws laws r_0079_0011__a_r_0079_0014__code->r_0079_0016__laws of 
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).


%3 r_0079_0010__that_r_0079_0017__was_r_0079_0018__published that was published z_000_79_a_factbook_2_2010_51 r_0079_0010__that_r_0079_0017__was_r_0079_0018__published->z_000_79_a_factbook_2_2010_51 [arg0] r_0079_0011__a_r_0079_0014__code a code r_0079_0010__that_r_0079_0017__was_r_0079_0018__published->r_0079_0011__a_r_0079_0014__code [arg1] r_0079_0016__laws laws r_0079_0011__a_r_0079_0014__code->r_0079_0016__laws of r_0079_0013__Roman Roman r_0079_0011__a_r_0079_0014__code->r_0079_0013__Roman [attrib] r_0079_0012__comprehensive comprehensive r_0079_0011__a_r_0079_0014__code->r_0079_0012__comprehensive [attrib] r_0079_0005__the_r_0079_0008__century the century r_0079_0009__A_dot_D_dot_ A.D. r_0079_0005__the_r_0079_0008__century->r_0079_0009__A_dot_D_dot_ [qual] r_0079_0007__6th 6th r_0079_0005__the_r_0079_0008__century->r_0079_0007__6th [attrib] r_0079_0006__late late r_0079_0005__the_r_0079_0008__century->r_0079_0006__late [attrib] r_0079_0002__was was r_0079_0002__was->r_0079_0010__that_r_0079_0017__was_r_0079_0018__published [arg0] r_0079_0002__was->r_0079_0005__the_r_0079_0008__century in [clr] r_0079_0003__only only r_0079_0002__was->r_0079_0003__only [nim] 
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,Z_000_79_A_FACTBOOK_2_2010_51,R_0079_0010__THAT_R_0079_0017__WAS_R_0079_0018__PUBLISHED,R_0079_0002__WAS] :
      ( 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)
      & z_000_79_a_factbook_2_2010_51(Z_000_79_A_FACTBOOK_2_2010_51)
      & r_0079_0002__was(R_0079_0002__WAS)
      & has_arg0(R_0079_0002__WAS,R_0079_0010__THAT_R_0079_0017__WAS_R_0079_0018__PUBLISHED)
      & r_0079_0010__that_r_0079_0017__was_r_0079_0018__published(R_0079_0010__THAT_R_0079_0017__WAS_R_0079_0018__PUBLISHED)
      & has_arg0(R_0079_0010__THAT_R_0079_0017__WAS_R_0079_0018__PUBLISHED,Z_000_79_A_FACTBOOK_2_2010_51)
      & has_arg1(R_0079_0010__THAT_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_attrib37(R_0079_0011__A_R_0079_0014__CODE,R_0079_0013__ROMAN)
      & has_attrib34(R_0079_0011__A_R_0079_0014__CODE,R_0079_0012__COMPREHENSIVE)
      & has_r_0079_0004__in_clr13(R_0079_0002__WAS,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_qual24(R_0079_0005__THE_R_0079_0008__CENTURY,R_0079_0009__A_DOT_D_DOT_)
      & has_attrib19(R_0079_0005__THE_R_0079_0008__CENTURY,R_0079_0007__6TH)
      & has_attrib16(R_0079_0005__THE_R_0079_0008__CENTURY,R_0079_0006__LATE)
      & has_nim7(R_0079_0002__WAS,R_0079_0003__ONLY) ) ).


n79_a_factbook_2_2010 n79_a_factbook_2_2010__1_1_1_1 It n79_a_factbook_2_2010__1_2_1 was n79_a_factbook_2_2010__1_3_1_1 only n79_a_factbook_2_2010__1_4_1_1 in n79_a_factbook_2_2010__1_4_2_1_1 the n79_a_factbook_2_2010__1_4_2_2_1_1 late n79_a_factbook_2_2010__1_4_2_3_1_1 6th n79_a_factbook_2_2010__1_4_2_4_1 century n79_a_factbook_2_2010__1_4_2_5_1_1 A.D. n79_a_factbook_2_2010__1_5_1_1_1 that n79_a_factbook_2_2010__1_5_1_2_1_1 a n79_a_factbook_2_2010__1_5_1_2_2_1_1 comprehensive n79_a_factbook_2_2010__1_5_1_2_3_1_1 Roman n79_a_factbook_2_2010__1_5_1_2_4_1 code n79_a_factbook_2_2010__1_5_1_2_5_1_1 of n79_a_factbook_2_2010__1_5_1_2_5_2_1_1 laws n79_a_factbook_2_2010__1_5_1_3_1 was n79_a_factbook_2_2010__1_5_1_4_1_1 * n79_a_factbook_2_2010__1_5_1_4_2_1 published n79_a_factbook_2_2010__1_5_1_4_3_1 -LRB- n79_a_factbook_2_2010__1_5_1_4_4_1_1_1 see n79_a_factbook_2_2010__1_5_1_4_4_1_2_1_1 Civil n79_a_factbook_2_2010__1_5_1_4_4_1_2_2_1 Law n79_a_factbook_2_2010__1_5_1_4_4_1_3_1_1 above n79_a_factbook_2_2010__1_5_1_4_5_1 -RRB- n79_a_factbook_2_2010__1_6_1 . n79_a_factbook_2_2010__1 IP-MAT n79_a_factbook_2_2010__1_1 NP-SBJ n79_a_factbook_2_2010__1->n79_a_factbook_2_2010__1_1 n79_a_factbook_2_2010__1_2 BED;_Ipr_ n79_a_factbook_2_2010__1->n79_a_factbook_2_2010__1_2 n79_a_factbook_2_2010__1_3 ADVP-NIM n79_a_factbook_2_2010__1->n79_a_factbook_2_2010__1_3 n79_a_factbook_2_2010__1_4 PP-CLR n79_a_factbook_2_2010__1->n79_a_factbook_2_2010__1_4 n79_a_factbook_2_2010__1_5 CP-THT-NSBJ n79_a_factbook_2_2010__1->n79_a_factbook_2_2010__1_5 n79_a_factbook_2_2010__1_6 PUNC n79_a_factbook_2_2010__1->n79_a_factbook_2_2010__1_6 n79_a_factbook_2_2010__1_1_1 PRO;_provisional_ n79_a_factbook_2_2010__1_1->n79_a_factbook_2_2010__1_1_1 n79_a_factbook_2_2010__1_1_1->n79_a_factbook_2_2010__1_1_1_1 n79_a_factbook_2_2010__1_2->n79_a_factbook_2_2010__1_2_1 n79_a_factbook_2_2010__1_3_1 ADV n79_a_factbook_2_2010__1_3->n79_a_factbook_2_2010__1_3_1 n79_a_factbook_2_2010__1_3_1->n79_a_factbook_2_2010__1_3_1_1 n79_a_factbook_2_2010__1_4_1 P-ROLE n79_a_factbook_2_2010__1_4->n79_a_factbook_2_2010__1_4_1 n79_a_factbook_2_2010__1_4_2 NP n79_a_factbook_2_2010__1_4->n79_a_factbook_2_2010__1_4_2 n79_a_factbook_2_2010__1_4_1->n79_a_factbook_2_2010__1_4_1_1 n79_a_factbook_2_2010__1_4_2_1 D n79_a_factbook_2_2010__1_4_2->n79_a_factbook_2_2010__1_4_2_1 n79_a_factbook_2_2010__1_4_2_2 ADJP n79_a_factbook_2_2010__1_4_2->n79_a_factbook_2_2010__1_4_2_2 n79_a_factbook_2_2010__1_4_2_3 ADJP n79_a_factbook_2_2010__1_4_2->n79_a_factbook_2_2010__1_4_2_3 n79_a_factbook_2_2010__1_4_2_4 N n79_a_factbook_2_2010__1_4_2->n79_a_factbook_2_2010__1_4_2_4 n79_a_factbook_2_2010__1_4_2_5 ADVP n79_a_factbook_2_2010__1_4_2->n79_a_factbook_2_2010__1_4_2_5 n79_a_factbook_2_2010__1_4_2_1->n79_a_factbook_2_2010__1_4_2_1_1 n79_a_factbook_2_2010__1_4_2_2_1 ADJ n79_a_factbook_2_2010__1_4_2_2->n79_a_factbook_2_2010__1_4_2_2_1 n79_a_factbook_2_2010__1_4_2_2_1->n79_a_factbook_2_2010__1_4_2_2_1_1 n79_a_factbook_2_2010__1_4_2_3_1 ADJ n79_a_factbook_2_2010__1_4_2_3->n79_a_factbook_2_2010__1_4_2_3_1 n79_a_factbook_2_2010__1_4_2_3_1->n79_a_factbook_2_2010__1_4_2_3_1_1 n79_a_factbook_2_2010__1_4_2_4->n79_a_factbook_2_2010__1_4_2_4_1 n79_a_factbook_2_2010__1_4_2_5_1 ADV n79_a_factbook_2_2010__1_4_2_5->n79_a_factbook_2_2010__1_4_2_5_1 n79_a_factbook_2_2010__1_4_2_5_1->n79_a_factbook_2_2010__1_4_2_5_1_1 n79_a_factbook_2_2010__1_5_1 IP-SUB n79_a_factbook_2_2010__1_5->n79_a_factbook_2_2010__1_5_1 n79_a_factbook_2_2010__1_5_1_1 C n79_a_factbook_2_2010__1_5_1->n79_a_factbook_2_2010__1_5_1_1 n79_a_factbook_2_2010__1_5_1_2 NP-SBJ n79_a_factbook_2_2010__1_5_1->n79_a_factbook_2_2010__1_5_1_2 n79_a_factbook_2_2010__1_5_1_3 BED;_cat_VePASS_ n79_a_factbook_2_2010__1_5_1->n79_a_factbook_2_2010__1_5_1_3 n79_a_factbook_2_2010__1_5_1_4 IP-PPL-CAT n79_a_factbook_2_2010__1_5_1->n79_a_factbook_2_2010__1_5_1_4 n79_a_factbook_2_2010__1_5_1_1->n79_a_factbook_2_2010__1_5_1_1_1 n79_a_factbook_2_2010__1_5_1_2_1 D n79_a_factbook_2_2010__1_5_1_2->n79_a_factbook_2_2010__1_5_1_2_1 n79_a_factbook_2_2010__1_5_1_2_2 ADJP n79_a_factbook_2_2010__1_5_1_2->n79_a_factbook_2_2010__1_5_1_2_2 n79_a_factbook_2_2010__1_5_1_2_3 ADJP n79_a_factbook_2_2010__1_5_1_2->n79_a_factbook_2_2010__1_5_1_2_3 n79_a_factbook_2_2010__1_5_1_2_4 N n79_a_factbook_2_2010__1_5_1_2->n79_a_factbook_2_2010__1_5_1_2_4 n79_a_factbook_2_2010__1_5_1_2_5 PP n79_a_factbook_2_2010__1_5_1_2->n79_a_factbook_2_2010__1_5_1_2_5 n79_a_factbook_2_2010__1_5_1_2_1->n79_a_factbook_2_2010__1_5_1_2_1_1 n79_a_factbook_2_2010__1_5_1_2_2_1 ADJ n79_a_factbook_2_2010__1_5_1_2_2->n79_a_factbook_2_2010__1_5_1_2_2_1 n79_a_factbook_2_2010__1_5_1_2_2_1->n79_a_factbook_2_2010__1_5_1_2_2_1_1 n79_a_factbook_2_2010__1_5_1_2_3_1 ADJ n79_a_factbook_2_2010__1_5_1_2_3->n79_a_factbook_2_2010__1_5_1_2_3_1 n79_a_factbook_2_2010__1_5_1_2_3_1->n79_a_factbook_2_2010__1_5_1_2_3_1_1 n79_a_factbook_2_2010__1_5_1_2_4->n79_a_factbook_2_2010__1_5_1_2_4_1 n79_a_factbook_2_2010__1_5_1_2_5_1 P-ROLE n79_a_factbook_2_2010__1_5_1_2_5->n79_a_factbook_2_2010__1_5_1_2_5_1 n79_a_factbook_2_2010__1_5_1_2_5_2 NP n79_a_factbook_2_2010__1_5_1_2_5->n79_a_factbook_2_2010__1_5_1_2_5_2 n79_a_factbook_2_2010__1_5_1_2_5_1->n79_a_factbook_2_2010__1_5_1_2_5_1_1 n79_a_factbook_2_2010__1_5_1_2_5_2_1 NS n79_a_factbook_2_2010__1_5_1_2_5_2->n79_a_factbook_2_2010__1_5_1_2_5_2_1 n79_a_factbook_2_2010__1_5_1_2_5_2_1->n79_a_factbook_2_2010__1_5_1_2_5_2_1_1 n79_a_factbook_2_2010__1_5_1_3->n79_a_factbook_2_2010__1_5_1_3_1 n79_a_factbook_2_2010__1_5_1_4_1 NP-LGS n79_a_factbook_2_2010__1_5_1_4->n79_a_factbook_2_2010__1_5_1_4_1 n79_a_factbook_2_2010__1_5_1_4_2 VVN;__ n79_a_factbook_2_2010__1_5_1_4->n79_a_factbook_2_2010__1_5_1_4_2 n79_a_factbook_2_2010__1_5_1_4_3 PULB n79_a_factbook_2_2010__1_5_1_4->n79_a_factbook_2_2010__1_5_1_4_3 n79_a_factbook_2_2010__1_5_1_4_4 PRN n79_a_factbook_2_2010__1_5_1_4->n79_a_factbook_2_2010__1_5_1_4_4 n79_a_factbook_2_2010__1_5_1_4_5 PURB n79_a_factbook_2_2010__1_5_1_4->n79_a_factbook_2_2010__1_5_1_4_5 n79_a_factbook_2_2010__1_5_1_4_1->n79_a_factbook_2_2010__1_5_1_4_1_1 n79_a_factbook_2_2010__1_5_1_4_2->n79_a_factbook_2_2010__1_5_1_4_2_1 n79_a_factbook_2_2010__1_5_1_4_3->n79_a_factbook_2_2010__1_5_1_4_3_1 n79_a_factbook_2_2010__1_5_1_4_4_1 IP-IMP n79_a_factbook_2_2010__1_5_1_4_4->n79_a_factbook_2_2010__1_5_1_4_4_1 n79_a_factbook_2_2010__1_5_1_4_4_1_1 VB;__ n79_a_factbook_2_2010__1_5_1_4_4_1->n79_a_factbook_2_2010__1_5_1_4_4_1_1 n79_a_factbook_2_2010__1_5_1_4_4_1_2 NP-OB1 n79_a_factbook_2_2010__1_5_1_4_4_1->n79_a_factbook_2_2010__1_5_1_4_4_1_2 n79_a_factbook_2_2010__1_5_1_4_4_1_3 ADVP-NIM n79_a_factbook_2_2010__1_5_1_4_4_1->n79_a_factbook_2_2010__1_5_1_4_4_1_3 n79_a_factbook_2_2010__1_5_1_4_4_1_1->n79_a_factbook_2_2010__1_5_1_4_4_1_1_1 n79_a_factbook_2_2010__1_5_1_4_4_1_2_1 NPR n79_a_factbook_2_2010__1_5_1_4_4_1_2->n79_a_factbook_2_2010__1_5_1_4_4_1_2_1 n79_a_factbook_2_2010__1_5_1_4_4_1_2_2 NPR n79_a_factbook_2_2010__1_5_1_4_4_1_2->n79_a_factbook_2_2010__1_5_1_4_4_1_2_2 n79_a_factbook_2_2010__1_5_1_4_4_1_2_1->n79_a_factbook_2_2010__1_5_1_4_4_1_2_1_1 n79_a_factbook_2_2010__1_5_1_4_4_1_2_2->n79_a_factbook_2_2010__1_5_1_4_4_1_2_2_1 n79_a_factbook_2_2010__1_5_1_4_4_1_3_1 ADV n79_a_factbook_2_2010__1_5_1_4_4_1_3->n79_a_factbook_2_2010__1_5_1_4_4_1_3_1 n79_a_factbook_2_2010__1_5_1_4_4_1_3_1->n79_a_factbook_2_2010__1_5_1_4_4_1_3_1_1 n79_a_factbook_2_2010__1_5_1_4_5->n79_a_factbook_2_2010__1_5_1_4_5_1 n79_a_factbook_2_2010__1_6->n79_a_factbook_2_2010__1_6_1 
( (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))