TSPC 83_a_factbook_2

83_a_factbook_2_2010
This law system, which originated in the province of Holland and expanded throughout the Netherlands (to be replaced by the French Civil Code in 1809), was instituted in a number of sub-Saharan African countries during the Dutch colonial period.

( (IP-MAT (NP-SBJ (D This;{this})
                  (N law;{law})
                  (N system;{system})
                  (PUNC ,)
                  (IP-REL (NP-SBJ (RPRO which;{which}))
                          (ILYR (ILYR (VBD;__ originated;{originate})
                                      (PP-NIM (P-ROLE in;{in})
                                              (NP (D the;{the})
                                                  (N province;{province})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (NPR Holland;{Holland}))))))
                                (CONJP (CONJ and;{and})
                                       (ILYR (VBD;__ expanded;{expand})
                                             (PP-NIM (P-ROLE throughout;{throughout})
                                                     (NP (D the;{the})
                                                         (NPR Netherlands;{Netherlands})))
                                             (PP-SCON (IP-INF (PULB -LRB-)
                                                              (TO to;{to})
                                                              (BE;_cat_VePASS_ be;{be})
                                                              (IP-PPL-CAT (VVN;__ replaced;{replace})
                                                                          (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                                  (NP (D the;{the})
                                                                                      (NPR French;{French})
                                                                                      (NPR Civil;{Civil})
                                                                                      (NPR Code;{Code})))
                                                                          (PP-NIM (P-ROLE in;{in})
                                                                                  (NP (NPR 1809))))
                                                              (PURB -RRB-))))))))
          (PUNC ,)
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;__ instituted;{institute})
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D a;{a})
                                  (N number;{number})
                                  (PP (P-ROLE of;{of})
                                      (NP (ADJP (ADJ sub_<hyphen>_Saharan;{sub_saharan}))
                                          (ADJP (ADJ African;{african}))
                                          (NS countries;{country})))))
                      (PP-NIM (P-ROLE during;{during})
                              (NP (D the;{the})
                                  (ADJP (ADJ Dutch;{dutch}))
                                  (N colonial;{colonial})
                                  (N period;{period}))))
          (PUNC .))
  (ID 83_a_factbook_2_2010))

arc(r_0083_0006__originated,r_0083_0001__This_r_0083_0002__law_r_0083_0003__system,arg0).
arc(r_0083_0006__originated,r_0083_0008__the_r_0083_0009__province,r_0083_0007__in__nim).
arc(r_0083_0008__the_r_0083_0009__province,r_0083_0011__Holland,r_0083_0010__of).
arc(r_0083_0012__and,r_0083_0006__originated,conj1).
arc(r_0083_0012__and,z_0083_5004,conj2).
arc(r_0083_0013__expanded,r_0083_0001__This_r_0083_0002__law_r_0083_0003__system,arg0).
arc(r_0083_0013__expanded,r_0083_0015__the_r_0083_0016__Netherlands,r_0083_0014__throughout__nim).
arc(r_0083_0019__be,r_0083_0020__replaced,scope).
arc(r_0083_0020__replaced,r_0083_0001__This_r_0083_0002__law_r_0083_0003__system,arg1).
arc(r_0083_0020__replaced,r_0083_0022__the_r_0083_0023__French_r_0083_0024__Civil_r_0083_0025__Code,r_0083_0021__by_arg0).
arc(r_0083_0020__replaced,r_0083_0027__1809,r_0083_0026__in__nim).
arc(r_0083_0030__was,r_0083_0031__instituted,scope).
arc(r_0083_0031__instituted,r_0083_0001__This_r_0083_0002__law_r_0083_0003__system,arg1).
arc(r_0083_0031__instituted,r_0083_0033__a_r_0083_0034__number,r_0083_0032__in__nim).
arc(r_0083_0031__instituted,r_0083_0040__the_r_0083_0042__colonial_r_0083_0043__period,r_0083_0039__during__nim).
arc(r_0083_0031__instituted,z_0083_5018___star_,arg0).
arc(r_0083_0033__a_r_0083_0034__number,r_0083_0038__countries,r_0083_0035__of).
arc(r_0083_0038__countries,r_0083_0036__sub__hyphen__Saharan,attrib).
arc(r_0083_0038__countries,r_0083_0037__African,attrib).
arc(r_0083_0040__the_r_0083_0042__colonial_r_0083_0043__period,r_0083_0041__Dutch,attrib).
arc(z_0083_5004,r_0083_0013__expanded,scope).
arc(z_0083_5004,r_0083_0019__be,restriction).

fof(formula,axiom,
    ? [R_0083_0001__THIS_R_0083_0002__LAW_R_0083_0003__SYSTEM,R_0083_0011__HOLLAND,R_0083_0008__THE_R_0083_0009__PROVINCE,R_0083_0006__ORIGINATED,R_0083_0015__THE_R_0083_0016__NETHERLANDS,R_0083_0013__EXPANDED,R_0083_0022__THE_R_0083_0023__FRENCH_R_0083_0024__CIVIL_R_0083_0025__CODE,R_0083_0027__1809,R_0083_0019__BE_R_0083_0020__REPLACED,Z_0083_5004,R_0083_0012__AND,R_0083_0036__SUB__HYPHEN__SAHARAN,R_0083_0037__AFRICAN,R_0083_0038__COUNTRIES,R_0083_0033__A_R_0083_0034__NUMBER,R_0083_0041__DUTCH,R_0083_0040__THE_R_0083_0042__COLONIAL_R_0083_0043__PERIOD,Z_0083_5018___STAR_,R_0083_0030__WAS_R_0083_0031__INSTITUTED] :
      ( r_0083_0001__This_r_0083_0002__law_r_0083_0003__system(R_0083_0001__THIS_R_0083_0002__LAW_R_0083_0003__SYSTEM)
      & r_0083_0011__Holland(R_0083_0011__HOLLAND)
      & r_0083_0015__the_r_0083_0016__Netherlands(R_0083_0015__THE_R_0083_0016__NETHERLANDS)
      & r_0083_0022__the_r_0083_0023__French_r_0083_0024__Civil_r_0083_0025__Code(R_0083_0022__THE_R_0083_0023__FRENCH_R_0083_0024__CIVIL_R_0083_0025__CODE)
      & r_0083_0027__1809(R_0083_0027__1809)
      & r_0083_0036__sub__hyphen__Saharan(R_0083_0036__SUB__HYPHEN__SAHARAN)
      & r_0083_0037__African(R_0083_0037__AFRICAN)
      & r_0083_0041__Dutch(R_0083_0041__DUTCH)
      & z_0083_5018___star_(Z_0083_5018___STAR_)
      & r_0083_0030__was_r_0083_0031__instituted(R_0083_0030__WAS_R_0083_0031__INSTITUTED)
      & has_arg0(R_0083_0030__WAS_R_0083_0031__INSTITUTED,Z_0083_5018___STAR_)
      & has_r_0083_0039__during__nim(R_0083_0030__WAS_R_0083_0031__INSTITUTED,R_0083_0040__THE_R_0083_0042__COLONIAL_R_0083_0043__PERIOD)
      & r_0083_0040__the_r_0083_0042__colonial_r_0083_0043__period(R_0083_0040__THE_R_0083_0042__COLONIAL_R_0083_0043__PERIOD)
      & has_attrib(R_0083_0040__THE_R_0083_0042__COLONIAL_R_0083_0043__PERIOD,R_0083_0041__DUTCH)
      & has_r_0083_0032__in__nim(R_0083_0030__WAS_R_0083_0031__INSTITUTED,R_0083_0033__A_R_0083_0034__NUMBER)
      & r_0083_0033__a_r_0083_0034__number(R_0083_0033__A_R_0083_0034__NUMBER)
      & has_r_0083_0035__of(R_0083_0033__A_R_0083_0034__NUMBER,R_0083_0038__COUNTRIES)
      & r_0083_0038__countries(R_0083_0038__COUNTRIES)
      & has_attrib(R_0083_0038__COUNTRIES,R_0083_0037__AFRICAN)
      & has_attrib(R_0083_0038__COUNTRIES,R_0083_0036__SUB__HYPHEN__SAHARAN)
      & has_arg1(R_0083_0030__WAS_R_0083_0031__INSTITUTED,R_0083_0001__THIS_R_0083_0002__LAW_R_0083_0003__SYSTEM)
      & r_0083_0012__and(R_0083_0012__AND)
      & has_conj2(R_0083_0012__AND,Z_0083_5004)
      & z_0083_5004(Z_0083_5004)
      & has_conj1(Z_0083_5004,R_0083_0019__BE_R_0083_0020__REPLACED)
      & r_0083_0019__be_r_0083_0020__replaced(R_0083_0019__BE_R_0083_0020__REPLACED)
      & has_r_0083_0026__in__nim(R_0083_0019__BE_R_0083_0020__REPLACED,R_0083_0027__1809)
      & has_r_0083_0021__by_arg0(R_0083_0019__BE_R_0083_0020__REPLACED,R_0083_0022__THE_R_0083_0023__FRENCH_R_0083_0024__CIVIL_R_0083_0025__CODE)
      & has_arg1(R_0083_0019__BE_R_0083_0020__REPLACED,R_0083_0001__THIS_R_0083_0002__LAW_R_0083_0003__SYSTEM)
      & has_conj2(Z_0083_5004,R_0083_0013__EXPANDED)
      & r_0083_0013__expanded(R_0083_0013__EXPANDED)
      & has_r_0083_0014__throughout__nim(R_0083_0013__EXPANDED,R_0083_0015__THE_R_0083_0016__NETHERLANDS)
      & has_arg0(R_0083_0013__EXPANDED,R_0083_0001__THIS_R_0083_0002__LAW_R_0083_0003__SYSTEM)
      & has_conj1(R_0083_0012__AND,R_0083_0006__ORIGINATED)
      & r_0083_0006__originated(R_0083_0006__ORIGINATED)
      & has_r_0083_0007__in__nim(R_0083_0006__ORIGINATED,R_0083_0008__THE_R_0083_0009__PROVINCE)
      & r_0083_0008__the_r_0083_0009__province(R_0083_0008__THE_R_0083_0009__PROVINCE)
      & has_r_0083_0010__of(R_0083_0008__THE_R_0083_0009__PROVINCE,R_0083_0011__HOLLAND)
      & has_arg0(R_0083_0006__ORIGINATED,R_0083_0001__THIS_R_0083_0002__LAW_R_0083_0003__SYSTEM) ) ).