TSPC 58_a_factbook_2

58_a_factbook_2_2010
The mixed legal systems of a number of countries came about when colonial powers overlaid their own legal systems upon colonized regions but retained elements of the colonies' existing legal systems.

arc(r_0058_0001__The_r_0058_0004__systems, r_0058_0002__mixed, attrib5).
arc(r_0058_0001__The_r_0058_0004__systems, r_0058_0003__legal, attrib8).
arc(r_0058_0001__The_r_0058_0004__systems, r_0058_0006__a_r_0058_0007__number, r_0058_0005__of).
arc(r_0058_0006__a_r_0058_0007__number, r_0058_0009__countries, r_0058_0008__of).
arc(r_0058_0010__came_r_0058_0011__about, r_0058_0001__The_r_0058_0004__systems, arg0).
arc(r_0058_0010__came_r_0058_0011__about, z_000_58_a_factbook_2_2010_31, nim31).
arc(r_0058_0015__overlaid, r_0058_0013__colonial_r_0058_0014__powers, arg0).
arc(r_0058_0015__overlaid, r_0058_0019__systems, arg1).
arc(r_0058_0015__overlaid, r_0058_0022__regions, r_0058_0020__upon_clr61).
arc(r_0058_0015__overlaid, z_000_58_a_factbook_2_2010_31, nim33).
arc(r_0058_0019__systems, r_0058_0018__legal, attrib53).
arc(r_0058_0019__systems, z_000_58_a_factbook_2_2010_46, gen).
arc(r_0058_0022__regions, r_0058_0021__colonized, attrib62).
arc(r_0058_0023__but, r_0058_0015__overlaid, conj1).
arc(r_0058_0023__but, r_0058_0024__retained, conj2).
arc(r_0058_0024__retained, r_0058_0013__colonial_r_0058_0014__powers, arg0).
arc(r_0058_0024__retained, r_0058_0025__elements, arg1).
arc(r_0058_0024__retained, z_000_58_a_factbook_2_2010_31, nim33).
arc(r_0058_0025__elements, r_0058_0032__systems, r_0058_0026__of).
arc(r_0058_0032__systems, r_0058_0027__the_r_0058_0028__colonies_r_0058_0029___apos_, gen).
arc(r_0058_0032__systems, r_0058_0030__existing, attrib87).
arc(r_0058_0032__systems, r_0058_0031__legal, attrib90).
arc(z_000_58_a_factbook_2_2010_46, r_0058_0013__colonial_r_0058_0014__powers, gen).
arc(z_000_58_a_factbook_2_2010_46, r_0058_0017__own, attrib50).

fof(formula,axiom,
    ? [R_0058_0002__MIXED,R_0058_0003__LEGAL,R_0058_0009__COUNTRIES,R_0058_0006__A_R_0058_0007__NUMBER,R_0058_0001__THE_R_0058_0004__SYSTEMS,Z_000_58_A_FACTBOOK_2_2010_31,R_0058_0010__CAME_R_0058_0011__ABOUT,R_0058_0013__COLONIAL_R_0058_0014__POWERS,R_0058_0018__LEGAL,R_0058_0017__OWN,Z_000_58_A_FACTBOOK_2_2010_46,R_0058_0019__SYSTEMS,R_0058_0021__COLONIZED,R_0058_0022__REGIONS,R_0058_0015__OVERLAID,R_0058_0027__THE_R_0058_0028__COLONIES_R_0058_0029___APOS_,R_0058_0030__EXISTING,R_0058_0031__LEGAL,R_0058_0032__SYSTEMS,R_0058_0025__ELEMENTS,R_0058_0024__RETAINED,R_0058_0023__BUT] :
      ( r_0058_0002__mixed(R_0058_0002__MIXED)
      & r_0058_0003__legal(R_0058_0003__LEGAL)
      & r_0058_0009__countries(R_0058_0009__COUNTRIES)
      & r_0058_0013__colonial_r_0058_0014__powers(R_0058_0013__COLONIAL_R_0058_0014__POWERS)
      & r_0058_0017__own(R_0058_0017__OWN)
      & r_0058_0018__legal(R_0058_0018__LEGAL)
      & r_0058_0021__colonized(R_0058_0021__COLONIZED)
      & r_0058_0027__the_r_0058_0028__colonies_r_0058_0029___apos_(R_0058_0027__THE_R_0058_0028__COLONIES_R_0058_0029___APOS_)
      & r_0058_0030__existing(R_0058_0030__EXISTING)
      & r_0058_0031__legal(R_0058_0031__LEGAL)
      & z_000_58_a_factbook_2_2010_31(Z_000_58_A_FACTBOOK_2_2010_31)
      & r_0058_0023__but(R_0058_0023__BUT)
      & has_conj2(R_0058_0023__BUT,R_0058_0024__RETAINED)
      & r_0058_0024__retained(R_0058_0024__RETAINED)
      & has_nim33(R_0058_0024__RETAINED,Z_000_58_A_FACTBOOK_2_2010_31)
      & has_arg1(R_0058_0024__RETAINED,R_0058_0025__ELEMENTS)
      & r_0058_0025__elements(R_0058_0025__ELEMENTS)
      & has_r_0058_0026__of(R_0058_0025__ELEMENTS,R_0058_0032__SYSTEMS)
      & r_0058_0032__systems(R_0058_0032__SYSTEMS)
      & has_attrib90(R_0058_0032__SYSTEMS,R_0058_0031__LEGAL)
      & has_attrib87(R_0058_0032__SYSTEMS,R_0058_0030__EXISTING)
      & has_gen(R_0058_0032__SYSTEMS,R_0058_0027__THE_R_0058_0028__COLONIES_R_0058_0029___APOS_)
      & has_arg0(R_0058_0024__RETAINED,R_0058_0013__COLONIAL_R_0058_0014__POWERS)
      & has_conj1(R_0058_0023__BUT,R_0058_0015__OVERLAID)
      & r_0058_0015__overlaid(R_0058_0015__OVERLAID)
      & has_nim33(R_0058_0015__OVERLAID,Z_000_58_A_FACTBOOK_2_2010_31)
      & has_r_0058_0020__upon_clr61(R_0058_0015__OVERLAID,R_0058_0022__REGIONS)
      & r_0058_0022__regions(R_0058_0022__REGIONS)
      & has_attrib62(R_0058_0022__REGIONS,R_0058_0021__COLONIZED)
      & has_arg1(R_0058_0015__OVERLAID,R_0058_0019__SYSTEMS)
      & r_0058_0019__systems(R_0058_0019__SYSTEMS)
      & has_gen(R_0058_0019__SYSTEMS,Z_000_58_A_FACTBOOK_2_2010_46)
      & z_000_58_a_factbook_2_2010_46(Z_000_58_A_FACTBOOK_2_2010_46)
      & has_attrib50(Z_000_58_A_FACTBOOK_2_2010_46,R_0058_0017__OWN)
      & has_gen(Z_000_58_A_FACTBOOK_2_2010_46,R_0058_0013__COLONIAL_R_0058_0014__POWERS)
      & has_attrib53(R_0058_0019__SYSTEMS,R_0058_0018__LEGAL)
      & has_arg0(R_0058_0015__OVERLAID,R_0058_0013__COLONIAL_R_0058_0014__POWERS)
      & r_0058_0010__came_r_0058_0011__about(R_0058_0010__CAME_R_0058_0011__ABOUT)
      & has_nim31(R_0058_0010__CAME_R_0058_0011__ABOUT,Z_000_58_A_FACTBOOK_2_2010_31)
      & has_arg0(R_0058_0010__CAME_R_0058_0011__ABOUT,R_0058_0001__THE_R_0058_0004__SYSTEMS)
      & r_0058_0001__The_r_0058_0004__systems(R_0058_0001__THE_R_0058_0004__SYSTEMS)
      & has_r_0058_0005__of(R_0058_0001__THE_R_0058_0004__SYSTEMS,R_0058_0006__A_R_0058_0007__NUMBER)
      & r_0058_0006__a_r_0058_0007__number(R_0058_0006__A_R_0058_0007__NUMBER)
      & has_r_0058_0008__of(R_0058_0006__A_R_0058_0007__NUMBER,R_0058_0009__COUNTRIES)
      & has_attrib8(R_0058_0001__THE_R_0058_0004__SYSTEMS,R_0058_0003__LEGAL)
      & has_attrib5(R_0058_0001__THE_R_0058_0004__SYSTEMS,R_0058_0002__MIXED) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ mixed;{mixed}))
                  (ADJP (ADJ legal;{legal}))
                  (NS systems;{system})
                  (PP (P-ROLE of;{of})
                      (NP (D a;{a})
                          (N number;{number})
                          (PP (P-ROLE of;{of})
                              (NP (NS countries;{country}))))))
          (VBD;__ came;{come})
          (RP about;{about})
          (NP-NIM (IP-REL (ADVP-NIM (RADV when;{when}))
                          (NP-SBJ;{COLONIAL_POWERS} (N colonial;{colonial})
                                                    (NS powers;{power}))
                          (ILYR (ILYR (VBD;__ overlaid;{overlay})
                                      (NP-OB1 (NP-GEN (NP-GEN;{COLONIAL_POWERS} (PRO;_genm_ their;{their}))
                                                      (ADJP (ADJ own;{own})))
                                              (ADJP (ADJ legal;{legal}))
                                              (NS systems;{system}))
                                      (PP-CLR (P-ROLE upon;{upon})
                                              (NP (ADJP (ADJ colonized;{colonized}))
                                                  (NS regions;{region}))))
                                (CONJP (CONJ but;{but})
                                       (ILYR (VBD;__ retained;{retain})
                                             (NP-OB1 (NS elements;{element})
                                                     (PP (P-ROLE of;{of})
                                                         (NP (NP-GEN (D the;{the})
                                                                     (NS colonies;{colony})
                                                                     (GENM <apos>))
                                                             (ADJP (ADJ existing;{existing}))
                                                             (ADJP (ADJ legal;{legal}))
                                                             (NS systems;{system})))))))))
          (PUNC .))
  (ID 58_a_factbook_2_2010))