TSPC 7_a_factbook_2

7_a_factbook_2_2010
Also referred to as European continental law, the civil law system is derived mainly from the Roman Corpus Juris Civilus, (Body of Civil Law), a collection of laws and legal interpretations compiled under the East Roman (Byzantine) Emperor Justinian I between A.D. 528 and 565.

( (IP-MAT (PP-SCON (IP-PPL2 (NP-LGS *)
                            (ADVP-NIM (ADV Also;{also}))
                            (VVN;_phr_Vpr.n/a_ referred;{refer[to,as]})
                            (PP-CLR (P-ROLE to;{to}))
                            (PP-PRD (P-ROLE as;{as})
                                    (NP (ADJP (ADJ European;{european}))
                                        (ADJP (ADJ continental;{continental}))
                                        (N law;{law})))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (NLYR (ADJP (ADJ civil;{civil}))
                        (N law;{law}))
                  (N system;{system}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.pr_ derived;{derive[from]})
                      (ADVP-NIM (ADV mainly;{mainly}))
                      (PP-CLR (P-ROLE from;{from})
                              (NP (D the;{the})
                                  (NPR Roman;{Roman})
                                  (NPR Corpus;{Corpus})
                                  (NPR Juris;{Juris})
                                  (NPR Civilus;{Civilus})
                                  (PUNC ,)
                                  (PULB -LRB-)
                                  (PRN (NP (N Body;{body})
                                           (PP (P-ROLE of;{of})
                                               (NP (N Civil;{civil})
                                                   (N Law;{law})))))
                                  (PURB -RRB-)
                                  (PUNC ,)
                                  (PRN (NP (D a;{a})
                                           (N collection;{collection})
                                           (PP (P-ROLE of;{of})
                                               (NP (NLYR (NLYR (NS laws;{law}))
                                                         (CONJP (CONJ and;{and})
                                                                (NLYR (ADJP (ADJ legal;{legal}))
                                                                      (NS interpretations;{interpretation}))))
                                                   (IP-PPL (NP-LGS *)
                                                           (VVN;_Tn_ compiled;{compile})
                                                           (PP-NIM (P-ROLE under;{under})
                                                                   (NP (PRN (NP (D the;{the})
                                                                                (N East;{east})
                                                                                (N Roman;{roman})
                                                                                (PULB -LRB-)
                                                                                (PRN (NP (NPR Byzantine;{Byzantine})))
                                                                                (PURB -RRB-)
                                                                                (N Emperor;{emperor})))
                                                                       (NPR Justinian;{Justinian})
                                                                       (NPR I;{I})))
                                                           (PP-NIM (P-ROLE between;{between})
                                                                   (NP (ADVP (ADV A<dot>D<dot>))
                                                                       (NLYR (NLYR (NUM 528))
                                                                             (CONJP (CONJ and;{and})
                                                                                    (NLYR (NUM 565))))))))))))))
          (PUNC .))
  (ID 7_a_factbook_2_2010))

arc(r_0007_0002__referred_r_0007_0003__to,r_0007_0001__Also,nim).
arc(r_0007_0002__referred_r_0007_0003__to,r_0007_0007__law,r_0007_0004__as__prd).
arc(r_0007_0002__referred_r_0007_0003__to,r_0007_0009__the_r_0007_0010__civil_r_0007_0011__law_r_0007_0012__system,arg1).
arc(r_0007_0002__referred_r_0007_0003__to,z_0007_5008___star_,arg0).
arc(r_0007_0007__law,r_0007_0005__European,attrib).
arc(r_0007_0007__law,r_0007_0006__continental,attrib).
arc(r_0007_0013__is,r_0007_0014__derived_r_0007_0016__from,scope).
arc(r_0007_0014__derived_r_0007_0016__from,r_0007_0009__the_r_0007_0010__civil_r_0007_0011__law_r_0007_0012__system,arg1).
arc(r_0007_0014__derived_r_0007_0016__from,r_0007_0015__mainly,nim).
arc(r_0007_0014__derived_r_0007_0016__from,r_0007_0017__the_r_0007_0018__Roman_r_0007_0019__Corpus_r_0007_0020__Juris_r_0007_0021__Civilus,arg2).
arc(r_0007_0014__derived_r_0007_0016__from,z_0007_5034___star_,arg0).
arc(r_0007_0024__Body,r_0007_0026__Civil_r_0007_0027__Law,r_0007_0025__of).
arc(r_0007_0030__a_r_0007_0031__collection,r_0007_0034__and,r_0007_0032__of).
arc(r_0007_0034__and,r_0007_0033__laws,conj1).
arc(r_0007_0034__and,r_0007_0036__interpretations,conj2).
arc(r_0007_0036__interpretations,r_0007_0035__legal,attrib).
arc(r_0007_0037__compiled,r_0007_0034__and,inv_arg1).
arc(r_0007_0037__compiled,r_0007_0046__Justinian_r_0007_0047__I,r_0007_0038__under__nim).
arc(r_0007_0037__compiled,r_0007_0051__and,r_0007_0048__between__nim).
arc(r_0007_0037__compiled,z_0007_5026___star_,arg0).
arc(r_0007_0051__and,r_0007_0049__A_dot_D_dot_,qual).
arc(r_0007_0051__and,r_0007_0050__528,conj1).
arc(r_0007_0051__and,r_0007_0052__565,conj2).
arc(z_0007_5002,r_0007_0002__referred_r_0007_0003__to,restriction).
arc(z_0007_5002,r_0007_0013__is,scope).
arc(z_0007_5013,r_0007_0017__the_r_0007_0018__Roman_r_0007_0019__Corpus_r_0007_0020__Juris_r_0007_0021__Civilus,arg0).
arc(z_0007_5013,r_0007_0024__Body,prd).
arc(z_0007_5022,r_0007_0039__the_r_0007_0040__East_r_0007_0041__Roman_r_0007_0045__Emperor,arg0).
arc(z_0007_5022,r_0007_0043__Byzantine,prd).
arc(z_0007_5024,r_0007_0039__the_r_0007_0040__East_r_0007_0041__Roman_r_0007_0045__Emperor,prd).
arc(z_0007_5024,r_0007_0046__Justinian_r_0007_0047__I,arg0).
arc(z_0007_5031,r_0007_0017__the_r_0007_0018__Roman_r_0007_0019__Corpus_r_0007_0020__Juris_r_0007_0021__Civilus,arg0).
arc(z_0007_5031,r_0007_0030__a_r_0007_0031__collection,prd).

fof(formula,axiom,
    ? [R_0007_0001__ALSO,R_0007_0005__EUROPEAN,R_0007_0006__CONTINENTAL,R_0007_0007__LAW,R_0007_0009__THE_R_0007_0010__CIVIL_R_0007_0011__LAW_R_0007_0012__SYSTEM,Z_0007_5008___STAR_,R_0007_0002__REFERRED_R_0007_0003__TO,R_0007_0015__MAINLY,R_0007_0017__THE_R_0007_0018__ROMAN_R_0007_0019__CORPUS_R_0007_0020__JURIS_R_0007_0021__CIVILUS,Z_0007_5034___STAR_,R_0007_0013__IS_R_0007_0014__DERIVED_R_0007_0016__FROM,Z_0007_5002,R_0007_0026__CIVIL_R_0007_0027__LAW,R_0007_0024__BODY,Z_0007_5013,R_0007_0039__THE_R_0007_0040__EAST_R_0007_0041__ROMAN_R_0007_0045__EMPEROR,R_0007_0043__BYZANTINE,Z_0007_5022,R_0007_0046__JUSTINIAN_R_0007_0047__I,Z_0007_5024,R_0007_0033__LAWS,R_0007_0035__LEGAL,R_0007_0036__INTERPRETATIONS,R_0007_0049__A_DOT_D_DOT_,R_0007_0050__528,R_0007_0052__565,R_0007_0051__AND,Z_0007_5026___STAR_,R_0007_0037__COMPILED,R_0007_0034__AND,R_0007_0030__A_R_0007_0031__COLLECTION,Z_0007_5031] :
      ( r_0007_0001__Also(R_0007_0001__ALSO)
      & r_0007_0005__European(R_0007_0005__EUROPEAN)
      & r_0007_0006__continental(R_0007_0006__CONTINENTAL)
      & r_0007_0009__the_r_0007_0010__civil_r_0007_0011__law_r_0007_0012__system(R_0007_0009__THE_R_0007_0010__CIVIL_R_0007_0011__LAW_R_0007_0012__SYSTEM)
      & r_0007_0015__mainly(R_0007_0015__MAINLY)
      & r_0007_0017__the_r_0007_0018__Roman_r_0007_0019__Corpus_r_0007_0020__Juris_r_0007_0021__Civilus(R_0007_0017__THE_R_0007_0018__ROMAN_R_0007_0019__CORPUS_R_0007_0020__JURIS_R_0007_0021__CIVILUS)
      & r_0007_0026__Civil_r_0007_0027__Law(R_0007_0026__CIVIL_R_0007_0027__LAW)
      & r_0007_0033__laws(R_0007_0033__LAWS)
      & r_0007_0035__legal(R_0007_0035__LEGAL)
      & r_0007_0039__the_r_0007_0040__East_r_0007_0041__Roman_r_0007_0045__Emperor(R_0007_0039__THE_R_0007_0040__EAST_R_0007_0041__ROMAN_R_0007_0045__EMPEROR)
      & r_0007_0043__Byzantine(R_0007_0043__BYZANTINE)
      & r_0007_0046__Justinian_r_0007_0047__I(R_0007_0046__JUSTINIAN_R_0007_0047__I)
      & r_0007_0049__A_dot_D_dot_(R_0007_0049__A_DOT_D_DOT_)
      & r_0007_0050__528(R_0007_0050__528)
      & r_0007_0052__565(R_0007_0052__565)
      & z_0007_5008___star_(Z_0007_5008___STAR_)
      & z_0007_5026___star_(Z_0007_5026___STAR_)
      & z_0007_5034___star_(Z_0007_5034___STAR_)
      & z_0007_5031(Z_0007_5031)
      & has_prd(Z_0007_5031,R_0007_0030__A_R_0007_0031__COLLECTION)
      & r_0007_0030__a_r_0007_0031__collection(R_0007_0030__A_R_0007_0031__COLLECTION)
      & has_r_0007_0032__of(R_0007_0030__A_R_0007_0031__COLLECTION,R_0007_0034__AND)
      & r_0007_0034__and(R_0007_0034__AND)
      & has_inv_arg1(R_0007_0034__AND,R_0007_0037__COMPILED)
      & r_0007_0037__compiled(R_0007_0037__COMPILED)
      & has_arg0(R_0007_0037__COMPILED,Z_0007_5026___STAR_)
      & has_r_0007_0048__between__nim(R_0007_0037__COMPILED,R_0007_0051__AND)
      & r_0007_0051__and(R_0007_0051__AND)
      & has_conj2(R_0007_0051__AND,R_0007_0052__565)
      & has_conj1(R_0007_0051__AND,R_0007_0050__528)
      & has_qual(R_0007_0051__AND,R_0007_0049__A_DOT_D_DOT_)
      & has_r_0007_0038__under__nim(R_0007_0037__COMPILED,R_0007_0046__JUSTINIAN_R_0007_0047__I)
      & has_conj2(R_0007_0034__AND,R_0007_0036__INTERPRETATIONS)
      & r_0007_0036__interpretations(R_0007_0036__INTERPRETATIONS)
      & has_attrib(R_0007_0036__INTERPRETATIONS,R_0007_0035__LEGAL)
      & has_conj1(R_0007_0034__AND,R_0007_0033__LAWS)
      & has_arg0(Z_0007_5031,R_0007_0017__THE_R_0007_0018__ROMAN_R_0007_0019__CORPUS_R_0007_0020__JURIS_R_0007_0021__CIVILUS)
      & z_0007_5024(Z_0007_5024)
      & has_arg0(Z_0007_5024,R_0007_0046__JUSTINIAN_R_0007_0047__I)
      & has_prd(Z_0007_5024,R_0007_0039__THE_R_0007_0040__EAST_R_0007_0041__ROMAN_R_0007_0045__EMPEROR)
      & z_0007_5022(Z_0007_5022)
      & has_prd(Z_0007_5022,R_0007_0043__BYZANTINE)
      & has_arg0(Z_0007_5022,R_0007_0039__THE_R_0007_0040__EAST_R_0007_0041__ROMAN_R_0007_0045__EMPEROR)
      & z_0007_5013(Z_0007_5013)
      & has_prd(Z_0007_5013,R_0007_0024__BODY)
      & r_0007_0024__Body(R_0007_0024__BODY)
      & has_r_0007_0025__of(R_0007_0024__BODY,R_0007_0026__CIVIL_R_0007_0027__LAW)
      & has_arg0(Z_0007_5013,R_0007_0017__THE_R_0007_0018__ROMAN_R_0007_0019__CORPUS_R_0007_0020__JURIS_R_0007_0021__CIVILUS)
      & z_0007_5002(Z_0007_5002)
      & has_conj2(Z_0007_5002,R_0007_0013__IS_R_0007_0014__DERIVED_R_0007_0016__FROM)
      & r_0007_0013__is_r_0007_0014__derived_r_0007_0016__from(R_0007_0013__IS_R_0007_0014__DERIVED_R_0007_0016__FROM)
      & has_arg0(R_0007_0013__IS_R_0007_0014__DERIVED_R_0007_0016__FROM,Z_0007_5034___STAR_)
      & has_arg2(R_0007_0013__IS_R_0007_0014__DERIVED_R_0007_0016__FROM,R_0007_0017__THE_R_0007_0018__ROMAN_R_0007_0019__CORPUS_R_0007_0020__JURIS_R_0007_0021__CIVILUS)
      & has_nim(R_0007_0013__IS_R_0007_0014__DERIVED_R_0007_0016__FROM,R_0007_0015__MAINLY)
      & has_arg1(R_0007_0013__IS_R_0007_0014__DERIVED_R_0007_0016__FROM,R_0007_0009__THE_R_0007_0010__CIVIL_R_0007_0011__LAW_R_0007_0012__SYSTEM)
      & has_conj1(Z_0007_5002,R_0007_0002__REFERRED_R_0007_0003__TO)
      & r_0007_0002__referred_r_0007_0003__to(R_0007_0002__REFERRED_R_0007_0003__TO)
      & has_arg0(R_0007_0002__REFERRED_R_0007_0003__TO,Z_0007_5008___STAR_)
      & has_arg1(R_0007_0002__REFERRED_R_0007_0003__TO,R_0007_0009__THE_R_0007_0010__CIVIL_R_0007_0011__LAW_R_0007_0012__SYSTEM)
      & has_r_0007_0004__as__prd(R_0007_0002__REFERRED_R_0007_0003__TO,R_0007_0007__LAW)
      & r_0007_0007__law(R_0007_0007__LAW)
      & has_attrib(R_0007_0007__LAW,R_0007_0006__CONTINENTAL)
      & has_attrib(R_0007_0007__LAW,R_0007_0005__EUROPEAN)
      & has_nim(R_0007_0002__REFERRED_R_0007_0003__TO,R_0007_0001__ALSO) ) ).