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_57_5_REFERRED,Z_57_A_FACTBOOK_2_2010_13,R_57_4_ALSO,R_57_9_LAW,R_57_8_PLURALISTIC,Z_57_A_FACTBOOK_2_2010_3,R_57_12_LAW,R_57_11_MIXED,R_57_2_LAW,R_57_1_MIXED,Z_57_A_FACTBOOK_2_2010_86,R_57_27_SYSTEMS,R_57_26_LEGAL,R_57_35_AND,R_57_29_CIVIL,R_57_31_COMMON,R_57_33_CUSTOMARY,R_57_36_RELIGIOUS] :
      ( also(R_57_4_ALSO)
      & pluralistic(R_57_8_PLURALISTIC)
      & mixed(R_57_11_MIXED)
      & mixed(R_57_1_MIXED)
      & legal(R_57_26_LEGAL)
      & civil(R_57_29_CIVIL)
      & common(R_57_31_COMMON)
      & customary(R_57_33_CUSTOMARY)
      & religious(R_57_36_RELIGIOUS)
      & referred(R_57_5_REFERRED,Z_57_A_FACTBOOK_2_2010_13,R_57_2_LAW,R_57_9_LAW)
      & law(R_57_2_LAW)
      & attrib5(R_57_2_LAW,R_57_1_MIXED)
      & law(R_57_9_LAW)
      & attrib27(R_57_9_LAW,R_57_8_PLURALISTIC)
      & nim15(R_57_5_REFERRED,R_57_4_ALSO)
      & ! [Z_57_A_FACTBOOK_2_2010_58] :
          ( true
         => ? [R_57_13_CONSISTS,R_57_15_ELEMENTS,R_57_18_OR,R_57_17_SOME,R_57_21_THE_TYPES,R_57_22_OTHER,R_57_23_MAIN] :
              ( some(R_57_17_SOME)
              & other(R_57_22_OTHER)
              & main(R_57_23_MAIN)
              & consists(R_57_13_CONSISTS,R_57_12_LAW)
              & of_clr44(R_57_13_CONSISTS,R_57_15_ELEMENTS)
              & elements(R_57_15_ELEMENTS)
              & of(R_57_15_ELEMENTS,R_57_18_OR)
              & or(R_57_18_OR)
              & conj1(R_57_18_OR,R_57_17_SOME)
              & conj2(R_57_18_OR,Z_57_A_FACTBOOK_2_2010_58)
              & of(R_57_18_OR,R_57_21_THE_TYPES)
              & the_types(R_57_21_THE_TYPES)
              & attrib67(R_57_21_THE_TYPES,R_57_22_OTHER)
              & attrib70(R_57_21_THE_TYPES,R_57_23_MAIN)
              & of(R_57_21_THE_TYPES,R_57_27_SYSTEMS) ) )
      & z_57_a_factbook_2_2010_3(Z_57_A_FACTBOOK_2_2010_3,R_57_12_LAW,R_57_2_LAW)
      & law(R_57_12_LAW)
      & attrib34(R_57_12_LAW,R_57_11_MIXED)
      & z_57_a_factbook_2_2010_86(Z_57_A_FACTBOOK_2_2010_86,R_57_27_SYSTEMS,R_57_35_AND)
      & systems(R_57_27_SYSTEMS)
      & attrib79(R_57_27_SYSTEMS,R_57_26_LEGAL)
      & and(R_57_35_AND)
      & conj1(R_57_35_AND,R_57_29_CIVIL)
      & conj2(R_57_35_AND,R_57_31_COMMON)
      & conj3(R_57_35_AND,R_57_33_CUSTOMARY)
      & conj4(R_57_35_AND,R_57_36_RELIGIOUS) ) ).

( (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))