TSPC 57_a_factbook_2

57_a_factbook_2_2010
Mixed Law - Also referred to as pluralistic law, mixed law consists of elements of some or all of the other main types of legal systems - civil, common, customary, and religious.

arc(r_0057_0002__Law, r_0057_0001__Mixed, attrib5).
arc(r_0057_0005__referred, r_0057_0002__Law, arg1).
arc(r_0057_0005__referred, r_0057_0004__Also, nim15).
arc(r_0057_0005__referred, r_0057_0009__law, prd).
arc(r_0057_0005__referred, z_000_57_a_factbook_2_2010_13, arg0).
arc(r_0057_0009__law, r_0057_0008__pluralistic, attrib27).
arc(r_0057_0012__law, r_0057_0011__mixed, attrib34).
arc(r_0057_0013__consists, r_0057_0012__law, arg0).
arc(r_0057_0013__consists, r_0057_0015__elements, r_0057_0014__of_clr44).
arc(r_0057_0015__elements, r_0057_0018__or, r_0057_0016__of).
arc(r_0057_0018__or, r_0057_0017__some, conj1).
arc(r_0057_0018__or, r_0057_0021__the_r_0057_0024__types, r_0057_0020__of).
arc(r_0057_0018__or, z_000_57_a_factbook_2_2010_58, conj2).
arc(r_0057_0019__all_quant, r_0057_0018__or, scope).
arc(r_0057_0019__all_quant, z_000_57_a_factbook_2_2010_58, restriction).
arc(r_0057_0021__the_r_0057_0024__types, r_0057_0022__other, attrib67).
arc(r_0057_0021__the_r_0057_0024__types, r_0057_0023__main, attrib70).
arc(r_0057_0021__the_r_0057_0024__types, r_0057_0027__systems, r_0057_0025__of).
arc(r_0057_0027__systems, r_0057_0026__legal, attrib79).
arc(r_0057_0035__and, r_0057_0029__civil, conj1).
arc(r_0057_0035__and, r_0057_0031__common, conj2).
arc(r_0057_0035__and, r_0057_0033__customary, conj3).
arc(r_0057_0035__and, r_0057_0036__religious, conj4).
arc(z_000_57_a_factbook_2_2010_3, r_0057_0002__Law, prd).
arc(z_000_57_a_factbook_2_2010_3, r_0057_0012__law, arg0).
arc(z_000_57_a_factbook_2_2010_86, r_0057_0027__systems, arg0).
arc(z_000_57_a_factbook_2_2010_86, r_0057_0035__and, prd).

fof(formula,axiom,
    ? [R_0057_0001__MIXED,R_0057_0002__LAW,R_0057_0004__ALSO,R_0057_0008__PLURALISTIC,R_0057_0009__LAW,Z_000_57_A_FACTBOOK_2_2010_13,R_0057_0005__REFERRED,R_0057_0011__MIXED,R_0057_0012__LAW,Z_000_57_A_FACTBOOK_2_2010_3,R_0057_0026__LEGAL,R_0057_0027__SYSTEMS,R_0057_0029__CIVIL,R_0057_0031__COMMON,R_0057_0033__CUSTOMARY,R_0057_0036__RELIGIOUS,R_0057_0035__AND,Z_000_57_A_FACTBOOK_2_2010_86] :
      ( r_0057_0001__Mixed(R_0057_0001__MIXED)
      & r_0057_0004__Also(R_0057_0004__ALSO)
      & r_0057_0008__pluralistic(R_0057_0008__PLURALISTIC)
      & r_0057_0011__mixed(R_0057_0011__MIXED)
      & r_0057_0026__legal(R_0057_0026__LEGAL)
      & r_0057_0029__civil(R_0057_0029__CIVIL)
      & r_0057_0031__common(R_0057_0031__COMMON)
      & r_0057_0033__customary(R_0057_0033__CUSTOMARY)
      & r_0057_0036__religious(R_0057_0036__RELIGIOUS)
      & z_000_57_a_factbook_2_2010_13(Z_000_57_A_FACTBOOK_2_2010_13)
      & z_000_57_a_factbook_2_2010_86(Z_000_57_A_FACTBOOK_2_2010_86)
      & has_prd(Z_000_57_A_FACTBOOK_2_2010_86,R_0057_0035__AND)
      & r_0057_0035__and(R_0057_0035__AND)
      & has_conj4(R_0057_0035__AND,R_0057_0036__RELIGIOUS)
      & has_conj3(R_0057_0035__AND,R_0057_0033__CUSTOMARY)
      & has_conj2(R_0057_0035__AND,R_0057_0031__COMMON)
      & has_conj1(R_0057_0035__AND,R_0057_0029__CIVIL)
      & has_arg0(Z_000_57_A_FACTBOOK_2_2010_86,R_0057_0027__SYSTEMS)
      & r_0057_0027__systems(R_0057_0027__SYSTEMS)
      & has_attrib79(R_0057_0027__SYSTEMS,R_0057_0026__LEGAL)
      & z_000_57_a_factbook_2_2010_3(Z_000_57_A_FACTBOOK_2_2010_3)
      & has_arg0(Z_000_57_A_FACTBOOK_2_2010_3,R_0057_0012__LAW)
      & r_0057_0012__law(R_0057_0012__LAW)
      & has_attrib34(R_0057_0012__LAW,R_0057_0011__MIXED)
      & has_prd(Z_000_57_A_FACTBOOK_2_2010_3,R_0057_0002__LAW)
      & r_0057_0002__Law(R_0057_0002__LAW)
      & has_attrib5(R_0057_0002__LAW,R_0057_0001__MIXED)
      & ! [Z_000_57_A_FACTBOOK_2_2010_58] :
          ( z_000_57_a_factbook_2_2010_58(Z_000_57_A_FACTBOOK_2_2010_58)
         => ? [R_0057_0017__SOME,R_0057_0022__OTHER,R_0057_0023__MAIN,R_0057_0021__THE_R_0057_0024__TYPES,R_0057_0018__OR,R_0057_0015__ELEMENTS,R_0057_0013__CONSISTS] :
              ( r_0057_0017__some(R_0057_0017__SOME)
              & r_0057_0022__other(R_0057_0022__OTHER)
              & r_0057_0023__main(R_0057_0023__MAIN)
              & r_0057_0013__consists(R_0057_0013__CONSISTS)
              & has_r_0057_0014__of_clr44(R_0057_0013__CONSISTS,R_0057_0015__ELEMENTS)
              & r_0057_0015__elements(R_0057_0015__ELEMENTS)
              & has_r_0057_0016__of(R_0057_0015__ELEMENTS,R_0057_0018__OR)
              & r_0057_0018__or(R_0057_0018__OR)
              & has_conj2(R_0057_0018__OR,Z_000_57_A_FACTBOOK_2_2010_58)
              & has_r_0057_0020__of(R_0057_0018__OR,R_0057_0021__THE_R_0057_0024__TYPES)
              & r_0057_0021__the_r_0057_0024__types(R_0057_0021__THE_R_0057_0024__TYPES)
              & has_r_0057_0025__of(R_0057_0021__THE_R_0057_0024__TYPES,R_0057_0027__SYSTEMS)
              & has_attrib70(R_0057_0021__THE_R_0057_0024__TYPES,R_0057_0023__MAIN)
              & has_attrib67(R_0057_0021__THE_R_0057_0024__TYPES,R_0057_0022__OTHER)
              & has_conj1(R_0057_0018__OR,R_0057_0017__SOME)
              & has_arg0(R_0057_0013__CONSISTS,R_0057_0012__LAW) ) )
      & r_0057_0005__referred(R_0057_0005__REFERRED)
      & has_arg0(R_0057_0005__REFERRED,Z_000_57_A_FACTBOOK_2_2010_13)
      & has_prd(R_0057_0005__REFERRED,R_0057_0009__LAW)
      & r_0057_0009__law(R_0057_0009__LAW)
      & has_attrib27(R_0057_0009__LAW,R_0057_0008__PLURALISTIC)
      & has_nim15(R_0057_0005__REFERRED,R_0057_0004__ALSO)
      & has_arg1(R_0057_0005__REFERRED,R_0057_0002__LAW) ) ).

( (IP-MAT (NP-SBJ (IP-PPL (NP-PRD (ADJP (ADJ Mixed;{mixed}))
                                  (NPR Law;{Law})
                                  (PUNC <hyphen>)
                                  (IP-PPL (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 pluralistic;{pluralistic}))
                                                      (N law;{law}))))))
                  (PUNC ,)
                  (ADJP (ADJ mixed;{mixed}))
                  (N law;{law}))
          (VBP;__ consists;{consist})
          (PP-CLR (P-ROLE of;{of})
                  (NP (NS elements;{element})
                      (PP (P-ROLE of;{of})
                          (NP (NLYR (NLYR (D;_nphd_ some;{some}))
                                    (CONJP (CONJ or;{or})
                                           (NLYR (Q;_nphd_ all;{all}))))
                              (PP (P-ROLE of;{of})
                                  (NP (D the;{the})
                                      (ADJP (ADJ other;{other}))
                                      (ADJP (ADJ main;{main}))
                                      (NS types;{type})
                                      (PP (P-ROLE of;{of})
                                          (NP (ADJP (ADJ legal;{legal}))
                                              (NS systems;{system})
                                              (PUNC <hyphen>)
                                              (IP-PPL (NP-PRD (NLYR (NLYR (N civil;{civil}))
                                                                    (PUNC ,)
                                                                    (CONJP (NLYR (N common;{common})))
                                                                    (PUNC ,)
                                                                    (CONJP (NLYR (N customary;{customary})))
                                                                    (PUNC ,)
                                                                    (CONJP (CONJ and;{and})
                                                                           (NLYR (N religious;{religious}))))))))))))))
          (PUNC .))
  (ID 57_a_factbook_2_2010))