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.

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

arc(r_0075_0002__law,r_0075_0001__Roman,attrib).
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__nim).
arc(r_0075_0004__the_r_0075_0006__system,r_0075_0005__legal,attrib).
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,attrib).
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_0075_5008,r_0075_0008__the,arg0).
arc(z_0075_5008,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_0075_5008] :
      ( 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_0075_5008(Z_0075_5008)
      & has_prd(Z_0075_5008,R_0075_0011__EASTERN_R_0075_0012__EMPIRE)
      & has_arg0(Z_0075_5008,R_0075_0008__THE)
      & r_0075_0008__the(R_0075_0008__THE)
      & has_attrib(R_0075_0008__THE,R_0075_0009__BYZANTINE)
      & r_0075_0003__remained(R_0075_0003__REMAINED)
      & has_r_0075_0014__until__nim(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_attrib(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_attrib(R_0075_0002__LAW,R_0075_0001__ROMAN) ) ).