TSPC 75_a_factbook_2

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

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

fof(formula,axiom,
    ? [R_0075_0001__ROMAN,R_0075_0002__LAW,R_0075_0005__LEGAL,R_0075_0009__BYZANTINE,R_0075_0008__THE,R_0075_0004__THE_R_0075_0006__SYSTEM,R_0075_0018__CONSTANTINOPLE,R_0075_0020__1453,R_0075_0015__THE_R_0075_0016__FALL,R_0075_0003__REMAINED,R_0075_0011__EASTERN_R_0075_0012__EMPIRE,Z_000_75_A_FACTBOOK_2_2010_29] :
      ( r_0075_0001__Roman(R_0075_0001__ROMAN)
      & r_0075_0005__legal(R_0075_0005__LEGAL)
      & r_0075_0009__Byzantine(R_0075_0009__BYZANTINE)
      & r_0075_0011__Eastern_r_0075_0012__Empire(R_0075_0011__EASTERN_R_0075_0012__EMPIRE)
      & r_0075_0018__Constantinople(R_0075_0018__CONSTANTINOPLE)
      & r_0075_0020__1453(R_0075_0020__1453)
      & z_000_75_a_factbook_2_2010_29(Z_000_75_A_FACTBOOK_2_2010_29)
      & has_prd(Z_000_75_A_FACTBOOK_2_2010_29,R_0075_0011__EASTERN_R_0075_0012__EMPIRE)
      & has_arg0(Z_000_75_A_FACTBOOK_2_2010_29,R_0075_0008__THE)
      & r_0075_0008__the(R_0075_0008__THE)
      & has_attrib24(R_0075_0008__THE,R_0075_0009__BYZANTINE)
      & r_0075_0003__remained(R_0075_0003__REMAINED)
      & has_r_0075_0014__until_nim40(R_0075_0003__REMAINED,R_0075_0015__THE_R_0075_0016__FALL)
      & r_0075_0015__the_r_0075_0016__fall(R_0075_0015__THE_R_0075_0016__FALL)
      & has_r_0075_0019__in(R_0075_0015__THE_R_0075_0016__FALL,R_0075_0020__1453)
      & has_r_0075_0017__of(R_0075_0015__THE_R_0075_0016__FALL,R_0075_0018__CONSTANTINOPLE)
      & has_prd(R_0075_0003__REMAINED,R_0075_0004__THE_R_0075_0006__SYSTEM)
      & r_0075_0004__the_r_0075_0006__system(R_0075_0004__THE_R_0075_0006__SYSTEM)
      & has_r_0075_0007__of(R_0075_0004__THE_R_0075_0006__SYSTEM,R_0075_0008__THE)
      & has_attrib13(R_0075_0004__THE_R_0075_0006__SYSTEM,R_0075_0005__LEGAL)
      & has_arg0(R_0075_0003__REMAINED,R_0075_0002__LAW)
      & r_0075_0002__law(R_0075_0002__LAW)
      & has_attrib3(R_0075_0002__LAW,R_0075_0001__ROMAN) ) ).

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