75_a_factbook_2_2010
Roman law remained the legal system of the Byzantine (Eastern Empire) until the fall of Constantinople in 1453.

%3 r_0075_0002__law law r_0075_0001__Roman Roman r_0075_0002__law->r_0075_0001__Roman [attrib] r_0075_0003__remained remained r_0075_0003__remained->r_0075_0002__law [arg0] r_0075_0004__the_r_0075_0006__system the system r_0075_0003__remained->r_0075_0004__the_r_0075_0006__system [prd] r_0075_0015__the_r_0075_0016__fall the fall r_0075_0003__remained->r_0075_0015__the_r_0075_0016__fall until [nim] r_0075_0005__legal legal r_0075_0004__the_r_0075_0006__system->r_0075_0005__legal [attrib] r_0075_0008__the the r_0075_0004__the_r_0075_0006__system->r_0075_0008__the of r_0075_0018__Constantinople Constantinople r_0075_0015__the_r_0075_0016__fall->r_0075_0018__Constantinople of r_0075_0020__1453 1453 r_0075_0015__the_r_0075_0016__fall->r_0075_0020__1453 in r_0075_0009__Byzantine Byzantine r_0075_0008__the->r_0075_0009__Byzantine [attrib] z_000_75_a_factbook_2_2010_29 z_000_75_a_factbook_2_2010_29->r_0075_0008__the [arg0] r_0075_0011__Eastern_r_0075_0012__Empire Eastern Empire z_000_75_a_factbook_2_2010_29->r_0075_0011__Eastern_r_0075_0012__Empire [prd]
arc(r_0075_0002__law, r_0075_0001__Roman, attrib3).
arc(r_0075_0003__remained, r_0075_0002__law, arg0).
arc(r_0075_0003__remained, r_0075_0004__the_r_0075_0006__system, prd).
arc(r_0075_0003__remained, r_0075_0015__the_r_0075_0016__fall, r_0075_0014__until_nim40).
arc(r_0075_0004__the_r_0075_0006__system, r_0075_0005__legal, attrib13).
arc(r_0075_0004__the_r_0075_0006__system, r_0075_0008__the, r_0075_0007__of).
arc(r_0075_0008__the, r_0075_0009__Byzantine, attrib24).
arc(r_0075_0015__the_r_0075_0016__fall, r_0075_0018__Constantinople, r_0075_0017__of).
arc(r_0075_0015__the_r_0075_0016__fall, r_0075_0020__1453, r_0075_0019__in).
arc(z_000_75_a_factbook_2_2010_29, r_0075_0008__the, arg0).
arc(z_000_75_a_factbook_2_2010_29, r_0075_0011__Eastern_r_0075_0012__Empire, prd).



%3 r_0075_0002__law law r_0075_0001__Roman Roman r_0075_0002__law->r_0075_0001__Roman [attrib] r_0075_0003__remained remained r_0075_0003__remained->r_0075_0002__law [arg0] r_0075_0004__the_r_0075_0006__system the system r_0075_0003__remained->r_0075_0004__the_r_0075_0006__system [prd] r_0075_0015__the_r_0075_0016__fall the fall r_0075_0003__remained->r_0075_0015__the_r_0075_0016__fall until [nim] r_0075_0005__legal legal r_0075_0004__the_r_0075_0006__system->r_0075_0005__legal [attrib] r_0075_0008__the the r_0075_0004__the_r_0075_0006__system->r_0075_0008__the of r_0075_0018__Constantinople Constantinople r_0075_0015__the_r_0075_0016__fall->r_0075_0018__Constantinople of r_0075_0020__1453 1453 r_0075_0015__the_r_0075_0016__fall->r_0075_0020__1453 in r_0075_0009__Byzantine Byzantine r_0075_0008__the->r_0075_0009__Byzantine [attrib] z_000_75_a_factbook_2_2010_29 z_000_75_a_factbook_2_2010_29->r_0075_0008__the [arg0] r_0075_0011__Eastern_r_0075_0012__Empire Eastern Empire z_000_75_a_factbook_2_2010_29->r_0075_0011__Eastern_r_0075_0012__Empire [prd]
fof(formula,axiom,
    ? [R_75_3_REMAINED,R_75_2_LAW,R_75_1_ROMAN,R_75_4_THE_SYSTEM,R_75_5_LEGAL,R_75_15_THE_FALL,R_75_18_CONSTANTINOPLE,R_75_20_1453,Z_75_A_FACTBOOK_2_2010_29,R_75_8_THE,R_75_9_BYZANTINE,R_75_11_EASTERN_EMPIRE] :
      ( roman(R_75_1_ROMAN)
      & legal(R_75_5_LEGAL)
      & constantinople(R_75_18_CONSTANTINOPLE)
      & 1453(R_75_20_1453)
      & byzantine(R_75_9_BYZANTINE)
      & eastern_Empire(R_75_11_EASTERN_EMPIRE)
      & remained(R_75_3_REMAINED,R_75_2_LAW,R_75_4_THE_SYSTEM)
      & law(R_75_2_LAW)
      & attrib3(R_75_2_LAW,R_75_1_ROMAN)
      & the_system(R_75_4_THE_SYSTEM)
      & attrib13(R_75_4_THE_SYSTEM,R_75_5_LEGAL)
      & of(R_75_4_THE_SYSTEM,R_75_8_THE)
      & the(R_75_8_THE)
      & attrib24(R_75_8_THE,R_75_9_BYZANTINE)
      & until_nim40(R_75_3_REMAINED,R_75_15_THE_FALL)
      & the_fall(R_75_15_THE_FALL)
      & of(R_75_15_THE_FALL,R_75_18_CONSTANTINOPLE)
      & in(R_75_15_THE_FALL,R_75_20_1453)
      & z_75_a_factbook_2_2010_29(Z_75_A_FACTBOOK_2_2010_29,R_75_8_THE,R_75_11_EASTERN_EMPIRE) ) ).



n75_a_factbook_2_2010 n75_a_factbook_2_2010_5 Roman n75_a_factbook_2_2010_7 law n75_a_factbook_2_2010_9 remained n75_a_factbook_2_2010_12 the n75_a_factbook_2_2010_15 legal n75_a_factbook_2_2010_17 system n75_a_factbook_2_2010_20 of n75_a_factbook_2_2010_23 the n75_a_factbook_2_2010_26 Byzantine n75_a_factbook_2_2010_28 -LRB- n75_a_factbook_2_2010_32 Eastern n75_a_factbook_2_2010_34 Empire n75_a_factbook_2_2010_36 -RRB- n75_a_factbook_2_2010_39 until n75_a_factbook_2_2010_42 the n75_a_factbook_2_2010_44 fall n75_a_factbook_2_2010_47 of n75_a_factbook_2_2010_50 Constantinople n75_a_factbook_2_2010_53 in n75_a_factbook_2_2010_56 1453 n75_a_factbook_2_2010_58 . n75_a_factbook_2_2010_1 IP-MAT n75_a_factbook_2_2010_2 NP-SBJ n75_a_factbook_2_2010_1->n75_a_factbook_2_2010_2 n75_a_factbook_2_2010_8 VBD;_Ln_ n75_a_factbook_2_2010_1->n75_a_factbook_2_2010_8 n75_a_factbook_2_2010_10 NP-PRD n75_a_factbook_2_2010_1->n75_a_factbook_2_2010_10 n75_a_factbook_2_2010_37 PP-NIM n75_a_factbook_2_2010_1->n75_a_factbook_2_2010_37 n75_a_factbook_2_2010_57 PUNC n75_a_factbook_2_2010_1->n75_a_factbook_2_2010_57 n75_a_factbook_2_2010_3 ADJP n75_a_factbook_2_2010_2->n75_a_factbook_2_2010_3 n75_a_factbook_2_2010_6 N n75_a_factbook_2_2010_2->n75_a_factbook_2_2010_6 n75_a_factbook_2_2010_4 ADJ n75_a_factbook_2_2010_3->n75_a_factbook_2_2010_4 n75_a_factbook_2_2010_4->n75_a_factbook_2_2010_5 n75_a_factbook_2_2010_6->n75_a_factbook_2_2010_7 n75_a_factbook_2_2010_8->n75_a_factbook_2_2010_9 n75_a_factbook_2_2010_11 D n75_a_factbook_2_2010_10->n75_a_factbook_2_2010_11 n75_a_factbook_2_2010_13 ADJP n75_a_factbook_2_2010_10->n75_a_factbook_2_2010_13 n75_a_factbook_2_2010_16 N n75_a_factbook_2_2010_10->n75_a_factbook_2_2010_16 n75_a_factbook_2_2010_18 PP n75_a_factbook_2_2010_10->n75_a_factbook_2_2010_18 n75_a_factbook_2_2010_11->n75_a_factbook_2_2010_12 n75_a_factbook_2_2010_14 ADJ n75_a_factbook_2_2010_13->n75_a_factbook_2_2010_14 n75_a_factbook_2_2010_14->n75_a_factbook_2_2010_15 n75_a_factbook_2_2010_16->n75_a_factbook_2_2010_17 n75_a_factbook_2_2010_19 P-ROLE n75_a_factbook_2_2010_18->n75_a_factbook_2_2010_19 n75_a_factbook_2_2010_21 NP n75_a_factbook_2_2010_18->n75_a_factbook_2_2010_21 n75_a_factbook_2_2010_19->n75_a_factbook_2_2010_20 n75_a_factbook_2_2010_22 D n75_a_factbook_2_2010_21->n75_a_factbook_2_2010_22 n75_a_factbook_2_2010_24 ADJP n75_a_factbook_2_2010_21->n75_a_factbook_2_2010_24 n75_a_factbook_2_2010_27 PULB n75_a_factbook_2_2010_21->n75_a_factbook_2_2010_27 n75_a_factbook_2_2010_29 IP-PPL n75_a_factbook_2_2010_21->n75_a_factbook_2_2010_29 n75_a_factbook_2_2010_35 PURB n75_a_factbook_2_2010_21->n75_a_factbook_2_2010_35 n75_a_factbook_2_2010_22->n75_a_factbook_2_2010_23 n75_a_factbook_2_2010_25 ADJ n75_a_factbook_2_2010_24->n75_a_factbook_2_2010_25 n75_a_factbook_2_2010_25->n75_a_factbook_2_2010_26 n75_a_factbook_2_2010_27->n75_a_factbook_2_2010_28 n75_a_factbook_2_2010_30 NP-PRD n75_a_factbook_2_2010_29->n75_a_factbook_2_2010_30 n75_a_factbook_2_2010_31 NPR n75_a_factbook_2_2010_30->n75_a_factbook_2_2010_31 n75_a_factbook_2_2010_33 NPR n75_a_factbook_2_2010_30->n75_a_factbook_2_2010_33 n75_a_factbook_2_2010_31->n75_a_factbook_2_2010_32 n75_a_factbook_2_2010_33->n75_a_factbook_2_2010_34 n75_a_factbook_2_2010_35->n75_a_factbook_2_2010_36 n75_a_factbook_2_2010_38 P-ROLE n75_a_factbook_2_2010_37->n75_a_factbook_2_2010_38 n75_a_factbook_2_2010_40 NP n75_a_factbook_2_2010_37->n75_a_factbook_2_2010_40 n75_a_factbook_2_2010_38->n75_a_factbook_2_2010_39 n75_a_factbook_2_2010_41 D n75_a_factbook_2_2010_40->n75_a_factbook_2_2010_41 n75_a_factbook_2_2010_43 N n75_a_factbook_2_2010_40->n75_a_factbook_2_2010_43 n75_a_factbook_2_2010_45 PP n75_a_factbook_2_2010_40->n75_a_factbook_2_2010_45 n75_a_factbook_2_2010_51 PP n75_a_factbook_2_2010_40->n75_a_factbook_2_2010_51 n75_a_factbook_2_2010_41->n75_a_factbook_2_2010_42 n75_a_factbook_2_2010_43->n75_a_factbook_2_2010_44 n75_a_factbook_2_2010_46 P-ROLE n75_a_factbook_2_2010_45->n75_a_factbook_2_2010_46 n75_a_factbook_2_2010_48 NP n75_a_factbook_2_2010_45->n75_a_factbook_2_2010_48 n75_a_factbook_2_2010_46->n75_a_factbook_2_2010_47 n75_a_factbook_2_2010_49 NPR n75_a_factbook_2_2010_48->n75_a_factbook_2_2010_49 n75_a_factbook_2_2010_49->n75_a_factbook_2_2010_50 n75_a_factbook_2_2010_52 P-ROLE n75_a_factbook_2_2010_51->n75_a_factbook_2_2010_52 n75_a_factbook_2_2010_54 NP n75_a_factbook_2_2010_51->n75_a_factbook_2_2010_54 n75_a_factbook_2_2010_52->n75_a_factbook_2_2010_53 n75_a_factbook_2_2010_55 NPR n75_a_factbook_2_2010_54->n75_a_factbook_2_2010_55 n75_a_factbook_2_2010_55->n75_a_factbook_2_2010_56 n75_a_factbook_2_2010_57->n75_a_factbook_2_2010_58
( (IP-MAT (NP-SBJ (ADJP (ADJ Roman;{roman}))
                  (N law;{law}))
          (VBD;_Ln_ remained;{remain})
          (NP-PRD (D the;{the})
                  (ADJP (ADJ legal;{legal}))
                  (N system;{system})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (ADJP (ADJ Byzantine;{byzantine}))
                          (PULB -LRB-)
                          (IP-PPL (NP-PRD (NPR Eastern;{Eastern})
                                          (NPR Empire;{Empire})))
                          (PURB -RRB-))))
          (PP-NIM (P-ROLE until;{until})
                  (NP (D the;{the})
                      (N fall;{fall})
                      (PP (P-ROLE of;{of})
                          (NP (NPR Constantinople;{Constantinople})))
                      (PP (P-ROLE in;{in})
                          (NP (NPR 1453)))))
          (PUNC .))
  (ID 75_a_factbook_2_2010))