TSPC 59_a_factbook_2

59_a_factbook_2_2010
Napoleonic Civil Code - A type of civil law, referred to as the Civil Code or Code Civil des Francais, forms part of the legal system of France, and underpins the legal systems of Bolivia, Egypt, Lebanon, Poland, and the US state of Louisiana.

( (FRAG (NP-SBJ (NPR Napoleonic;{Napoleonic})
                (NPR Civil;{Civil})
                (NPR Code;{Code}))
        (PUNC <hyphen>)
        (ILYR (ILYR (NP-PRD (D A;{a})
                            (N type;{type})
                            (PP (P-ROLE of;{of})
                                (NP (ADJP (ADJ civil;{civil}))
                                    (N law;{law})))
                            (PUNC ,)
                            (IP-PPL (NP-LGS *)
                                    (VVN;_phr_Vpr.n/a_ referred;{refer[to,as]})
                                    (PP-CLR (P-ROLE to;{to}))
                                    (PP-PRD (P-ROLE as;{as})
                                            (NP (NLYR (NLYR (D the;{the})
                                                            (NPR Civil;{Civil})
                                                            (NPR Code;{Code}))
                                                      (CONJP (CONJ or;{or})
                                                             (NLYR (NPR Code;{Code})
                                                                   (NPR Civil;{Civil})
                                                                   (NPR des;{des})
                                                                   (NPR Francais;{Francais})))))))))
              (PUNC ,)
              (CONJP (ILYR (VBP;__ forms;{form})
                           (NP-OB1 (N part;{part})
                                   (PP (P-ROLE of;{of})
                                       (NP (D the;{the})
                                           (ADJP (ADJ legal;{legal}))
                                           (N system;{system})
                                           (PP (P-ROLE of;{of})
                                               (NP (NPR France;{France}))))))))
              (PUNC ,)
              (CONJP (CONJ and;{and})
                     (ILYR (VBP;__ underpins;{underpin})
                           (NP-OB1 (D the;{the})
                                   (ADJP (ADJ legal;{legal}))
                                   (NS systems;{system})
                                   (PP (P-ROLE of;{of})
                                       (NP (NLYR (NLYR (NPR Bolivia;{Bolivia}))
                                                 (PUNC ,)
                                                 (CONJP (NLYR (NPR Egypt;{Egypt})))
                                                 (PUNC ,)
                                                 (CONJP (NLYR (NPR Lebanon;{Lebanon})))
                                                 (PUNC ,)
                                                 (CONJP (NLYR (NPR Poland;{Poland})))
                                                 (PUNC ,)
                                                 (CONJP (CONJ and;{and})
                                                        (NLYR (D the;{the})
                                                              (NPR US)
                                                              (N state;{state})
                                                              (PP (P-ROLE of;{of})
                                                                  (NP (NPR Louisiana;{Louisiana}))))))))))))
        (PUNC .))
  (ID 59_a_factbook_2_2010))

arc(r_0059_0005__A_r_0059_0006__type,r_0059_0009__law,r_0059_0007__of).
arc(r_0059_0009__law,r_0059_0008__civil,attrib).
arc(r_0059_0011__referred_r_0059_0012__to,r_0059_0005__A_r_0059_0006__type,inv_arg1).
arc(r_0059_0011__referred_r_0059_0012__to,r_0059_0017__or,r_0059_0013__as__prd).
arc(r_0059_0011__referred_r_0059_0012__to,z_0059_5005___star_,arg0).
arc(r_0059_0017__or,r_0059_0014__the_r_0059_0015__Civil_r_0059_0016__Code,conj1).
arc(r_0059_0017__or,r_0059_0018__Code_r_0059_0019__Civil_r_0059_0020__des_r_0059_0021__Francais,conj2).
arc(r_0059_0023__forms,r_0059_0001__Napoleonic_r_0059_0002__Civil_r_0059_0003__Code,arg0).
arc(r_0059_0023__forms,r_0059_0024__part,arg1).
arc(r_0059_0024__part,r_0059_0026__the_r_0059_0028__system,r_0059_0025__of).
arc(r_0059_0026__the_r_0059_0028__system,r_0059_0027__legal,attrib).
arc(r_0059_0026__the_r_0059_0028__system,r_0059_0030__France,r_0059_0029__of).
arc(r_0059_0032__and,r_0059_0023__forms,conj2).
arc(r_0059_0032__and,r_0059_0033__underpins,conj3).
arc(r_0059_0032__and,z_0059_5007,conj1).
arc(r_0059_0033__underpins,r_0059_0001__Napoleonic_r_0059_0002__Civil_r_0059_0003__Code,arg0).
arc(r_0059_0033__underpins,r_0059_0034__the_r_0059_0036__systems,arg1).
arc(r_0059_0034__the_r_0059_0036__systems,r_0059_0035__legal,attrib).
arc(r_0059_0034__the_r_0059_0036__systems,r_0059_0046__and,r_0059_0037__of).
arc(r_0059_0046__and,r_0059_0038__Bolivia,conj1).
arc(r_0059_0046__and,r_0059_0040__Egypt,conj2).
arc(r_0059_0046__and,r_0059_0042__Lebanon,conj3).
arc(r_0059_0046__and,r_0059_0044__Poland,conj4).
arc(r_0059_0046__and,r_0059_0047__the_r_0059_0048__US_r_0059_0049__state,conj5).
arc(r_0059_0047__the_r_0059_0048__US_r_0059_0049__state,r_0059_0051__Louisiana,r_0059_0050__of).
arc(z_0059_5007,r_0059_0001__Napoleonic_r_0059_0002__Civil_r_0059_0003__Code,arg0).
arc(z_0059_5007,r_0059_0005__A_r_0059_0006__type,prd).

fof(formula,axiom,
    ? [R_0059_0001__NAPOLEONIC_R_0059_0002__CIVIL_R_0059_0003__CODE,R_0059_0027__LEGAL,R_0059_0030__FRANCE,R_0059_0026__THE_R_0059_0028__SYSTEM,R_0059_0024__PART,R_0059_0023__FORMS,R_0059_0035__LEGAL,R_0059_0038__BOLIVIA,R_0059_0040__EGYPT,R_0059_0042__LEBANON,R_0059_0044__POLAND,R_0059_0051__LOUISIANA,R_0059_0047__THE_R_0059_0048__US_R_0059_0049__STATE,R_0059_0046__AND,R_0059_0034__THE_R_0059_0036__SYSTEMS,R_0059_0033__UNDERPINS,R_0059_0008__CIVIL,R_0059_0009__LAW,R_0059_0014__THE_R_0059_0015__CIVIL_R_0059_0016__CODE,R_0059_0018__CODE_R_0059_0019__CIVIL_R_0059_0020__DES_R_0059_0021__FRANCAIS,R_0059_0017__OR,Z_0059_5005___STAR_,R_0059_0011__REFERRED_R_0059_0012__TO,R_0059_0005__A_R_0059_0006__TYPE,Z_0059_5007,R_0059_0032__AND] :
      ( r_0059_0001__Napoleonic_r_0059_0002__Civil_r_0059_0003__Code(R_0059_0001__NAPOLEONIC_R_0059_0002__CIVIL_R_0059_0003__CODE)
      & r_0059_0008__civil(R_0059_0008__CIVIL)
      & r_0059_0014__the_r_0059_0015__Civil_r_0059_0016__Code(R_0059_0014__THE_R_0059_0015__CIVIL_R_0059_0016__CODE)
      & r_0059_0018__Code_r_0059_0019__Civil_r_0059_0020__des_r_0059_0021__Francais(R_0059_0018__CODE_R_0059_0019__CIVIL_R_0059_0020__DES_R_0059_0021__FRANCAIS)
      & r_0059_0027__legal(R_0059_0027__LEGAL)
      & r_0059_0030__France(R_0059_0030__FRANCE)
      & r_0059_0035__legal(R_0059_0035__LEGAL)
      & r_0059_0038__Bolivia(R_0059_0038__BOLIVIA)
      & r_0059_0040__Egypt(R_0059_0040__EGYPT)
      & r_0059_0042__Lebanon(R_0059_0042__LEBANON)
      & r_0059_0044__Poland(R_0059_0044__POLAND)
      & r_0059_0051__Louisiana(R_0059_0051__LOUISIANA)
      & z_0059_5005___star_(Z_0059_5005___STAR_)
      & r_0059_0032__and(R_0059_0032__AND)
      & has_conj1(R_0059_0032__AND,Z_0059_5007)
      & z_0059_5007(Z_0059_5007)
      & has_prd(Z_0059_5007,R_0059_0005__A_R_0059_0006__TYPE)
      & r_0059_0005__A_r_0059_0006__type(R_0059_0005__A_R_0059_0006__TYPE)
      & has_inv_arg1(R_0059_0005__A_R_0059_0006__TYPE,R_0059_0011__REFERRED_R_0059_0012__TO)
      & r_0059_0011__referred_r_0059_0012__to(R_0059_0011__REFERRED_R_0059_0012__TO)
      & has_arg0(R_0059_0011__REFERRED_R_0059_0012__TO,Z_0059_5005___STAR_)
      & has_r_0059_0013__as__prd(R_0059_0011__REFERRED_R_0059_0012__TO,R_0059_0017__OR)
      & r_0059_0017__or(R_0059_0017__OR)
      & has_conj2(R_0059_0017__OR,R_0059_0018__CODE_R_0059_0019__CIVIL_R_0059_0020__DES_R_0059_0021__FRANCAIS)
      & has_conj1(R_0059_0017__OR,R_0059_0014__THE_R_0059_0015__CIVIL_R_0059_0016__CODE)
      & has_r_0059_0007__of(R_0059_0005__A_R_0059_0006__TYPE,R_0059_0009__LAW)
      & r_0059_0009__law(R_0059_0009__LAW)
      & has_attrib(R_0059_0009__LAW,R_0059_0008__CIVIL)
      & has_arg0(Z_0059_5007,R_0059_0001__NAPOLEONIC_R_0059_0002__CIVIL_R_0059_0003__CODE)
      & has_conj3(R_0059_0032__AND,R_0059_0033__UNDERPINS)
      & r_0059_0033__underpins(R_0059_0033__UNDERPINS)
      & has_arg1(R_0059_0033__UNDERPINS,R_0059_0034__THE_R_0059_0036__SYSTEMS)
      & r_0059_0034__the_r_0059_0036__systems(R_0059_0034__THE_R_0059_0036__SYSTEMS)
      & has_r_0059_0037__of(R_0059_0034__THE_R_0059_0036__SYSTEMS,R_0059_0046__AND)
      & r_0059_0046__and(R_0059_0046__AND)
      & has_conj5(R_0059_0046__AND,R_0059_0047__THE_R_0059_0048__US_R_0059_0049__STATE)
      & r_0059_0047__the_r_0059_0048__US_r_0059_0049__state(R_0059_0047__THE_R_0059_0048__US_R_0059_0049__STATE)
      & has_r_0059_0050__of(R_0059_0047__THE_R_0059_0048__US_R_0059_0049__STATE,R_0059_0051__LOUISIANA)
      & has_conj4(R_0059_0046__AND,R_0059_0044__POLAND)
      & has_conj3(R_0059_0046__AND,R_0059_0042__LEBANON)
      & has_conj2(R_0059_0046__AND,R_0059_0040__EGYPT)
      & has_conj1(R_0059_0046__AND,R_0059_0038__BOLIVIA)
      & has_attrib(R_0059_0034__THE_R_0059_0036__SYSTEMS,R_0059_0035__LEGAL)
      & has_arg0(R_0059_0033__UNDERPINS,R_0059_0001__NAPOLEONIC_R_0059_0002__CIVIL_R_0059_0003__CODE)
      & has_conj2(R_0059_0032__AND,R_0059_0023__FORMS)
      & r_0059_0023__forms(R_0059_0023__FORMS)
      & has_arg1(R_0059_0023__FORMS,R_0059_0024__PART)
      & r_0059_0024__part(R_0059_0024__PART)
      & has_r_0059_0025__of(R_0059_0024__PART,R_0059_0026__THE_R_0059_0028__SYSTEM)
      & r_0059_0026__the_r_0059_0028__system(R_0059_0026__THE_R_0059_0028__SYSTEM)
      & has_r_0059_0029__of(R_0059_0026__THE_R_0059_0028__SYSTEM,R_0059_0030__FRANCE)
      & has_attrib(R_0059_0026__THE_R_0059_0028__SYSTEM,R_0059_0027__LEGAL)
      & has_arg0(R_0059_0023__FORMS,R_0059_0001__NAPOLEONIC_R_0059_0002__CIVIL_R_0059_0003__CODE) ) ).