TSPC 50_a_factbook_2

50_a_factbook_2_2010
Islamic Law - The most widespread type of religious law, it is the legal system enforced in over 30 countries, particularly in the Near East, but also in Central and South Asia, Africa, and Indonesia.

arc(r_0050_0002__Law, r_0050_0001__Islamic, attrib5).
arc(r_0050_0004__The_r_0050_0007__type, r_0050_0006__widespread, attrib15).
arc(r_0050_0004__The_r_0050_0007__type, r_0050_0010__law, r_0050_0008__of).
arc(r_0050_0006__widespread, r_0050_0005__most, qual16).
arc(r_0050_0010__law, r_0050_0009__religious, attrib27).
arc(r_0050_0013__is, r_0050_0002__Law, arg0).
arc(r_0050_0013__is, r_0050_0014__the_r_0050_0016__system, prd).
arc(r_0050_0014__the_r_0050_0016__system, r_0050_0015__legal, attrib44).
arc(r_0050_0017__enforced, r_0050_0014__the_r_0050_0016__system, arg1).
arc(r_0050_0017__enforced, r_0050_0020__30_r_0050_0021__countries, r_0050_0018__in_nim57).
arc(r_0050_0017__enforced, r_0050_0025__the_r_0050_0026__Near_r_0050_0027__East, r_0050_0023__particularly_r_0050_0024__in_nim72).
arc(r_0050_0017__enforced, r_0050_0036__and, r_0050_0029__but_r_0050_0030__also_r_0050_0031__in_nim88).
arc(r_0050_0017__enforced, z_000_50_a_factbook_2_2010_50, arg0).
arc(r_0050_0020__30_r_0050_0021__countries, r_0050_0019__over, qual58).
arc(r_0050_0036__and, r_0050_0032__Central_and_South_Asia, conj1).
arc(r_0050_0036__and, r_0050_0034__Africa, conj2).
arc(r_0050_0036__and, r_0050_0037__Indonesia, conj3).
arc(z_000_50_a_factbook_2_2010_2, r_0050_0013__is, conj2).
arc(z_000_50_a_factbook_2_2010_2, z_000_50_a_factbook_2_2010_3, conj1).
arc(z_000_50_a_factbook_2_2010_3, r_0050_0002__Law, arg0).
arc(z_000_50_a_factbook_2_2010_3, r_0050_0004__The_r_0050_0007__type, prd).

fof(formula,axiom,
    ? [R_0050_0015__LEGAL,R_0050_0014__THE_R_0050_0016__SYSTEM,R_0050_0019__OVER,R_0050_0020__30_R_0050_0021__COUNTRIES,R_0050_0025__THE_R_0050_0026__NEAR_R_0050_0027__EAST,R_0050_0032__CENTRAL_AND_SOUTH_ASIA,R_0050_0034__AFRICA,R_0050_0037__INDONESIA,R_0050_0036__AND,Z_000_50_A_FACTBOOK_2_2010_50,R_0050_0017__ENFORCED,R_0050_0001__ISLAMIC,R_0050_0002__LAW,R_0050_0013__IS,R_0050_0005__MOST,R_0050_0006__WIDESPREAD,R_0050_0009__RELIGIOUS,R_0050_0010__LAW,R_0050_0004__THE_R_0050_0007__TYPE,Z_000_50_A_FACTBOOK_2_2010_3,Z_000_50_A_FACTBOOK_2_2010_2] :
      ( r_0050_0001__Islamic(R_0050_0001__ISLAMIC)
      & r_0050_0005__most(R_0050_0005__MOST)
      & r_0050_0009__religious(R_0050_0009__RELIGIOUS)
      & r_0050_0015__legal(R_0050_0015__LEGAL)
      & r_0050_0019__over(R_0050_0019__OVER)
      & r_0050_0025__the_r_0050_0026__Near_r_0050_0027__East(R_0050_0025__THE_R_0050_0026__NEAR_R_0050_0027__EAST)
      & r_0050_0032__Central_and_South_Asia(R_0050_0032__CENTRAL_AND_SOUTH_ASIA)
      & r_0050_0034__Africa(R_0050_0034__AFRICA)
      & r_0050_0037__Indonesia(R_0050_0037__INDONESIA)
      & z_000_50_a_factbook_2_2010_50(Z_000_50_A_FACTBOOK_2_2010_50)
      & z_000_50_a_factbook_2_2010_2(Z_000_50_A_FACTBOOK_2_2010_2)
      & has_conj1(Z_000_50_A_FACTBOOK_2_2010_2,Z_000_50_A_FACTBOOK_2_2010_3)
      & z_000_50_a_factbook_2_2010_3(Z_000_50_A_FACTBOOK_2_2010_3)
      & has_prd(Z_000_50_A_FACTBOOK_2_2010_3,R_0050_0004__THE_R_0050_0007__TYPE)
      & r_0050_0004__The_r_0050_0007__type(R_0050_0004__THE_R_0050_0007__TYPE)
      & has_r_0050_0008__of(R_0050_0004__THE_R_0050_0007__TYPE,R_0050_0010__LAW)
      & r_0050_0010__law(R_0050_0010__LAW)
      & has_attrib27(R_0050_0010__LAW,R_0050_0009__RELIGIOUS)
      & has_attrib15(R_0050_0004__THE_R_0050_0007__TYPE,R_0050_0006__WIDESPREAD)
      & r_0050_0006__widespread(R_0050_0006__WIDESPREAD)
      & has_qual16(R_0050_0006__WIDESPREAD,R_0050_0005__MOST)
      & has_arg0(Z_000_50_A_FACTBOOK_2_2010_3,R_0050_0002__LAW)
      & r_0050_0002__Law(R_0050_0002__LAW)
      & has_attrib5(R_0050_0002__LAW,R_0050_0001__ISLAMIC)
      & has_conj2(Z_000_50_A_FACTBOOK_2_2010_2,R_0050_0013__IS)
      & r_0050_0013__is(R_0050_0013__IS)
      & has_prd(R_0050_0013__IS,R_0050_0014__THE_R_0050_0016__SYSTEM)
      & r_0050_0014__the_r_0050_0016__system(R_0050_0014__THE_R_0050_0016__SYSTEM)
      & has_attrib44(R_0050_0014__THE_R_0050_0016__SYSTEM,R_0050_0015__LEGAL)
      & has_arg0(R_0050_0013__IS,R_0050_0002__LAW)
      & r_0050_0017__enforced(R_0050_0017__ENFORCED)
      & has_arg0(R_0050_0017__ENFORCED,Z_000_50_A_FACTBOOK_2_2010_50)
      & has_r_0050_0029__but_r_0050_0030__also_r_0050_0031__in_nim88(R_0050_0017__ENFORCED,R_0050_0036__AND)
      & r_0050_0036__and(R_0050_0036__AND)
      & has_conj3(R_0050_0036__AND,R_0050_0037__INDONESIA)
      & has_conj2(R_0050_0036__AND,R_0050_0034__AFRICA)
      & has_conj1(R_0050_0036__AND,R_0050_0032__CENTRAL_AND_SOUTH_ASIA)
      & has_r_0050_0023__particularly_r_0050_0024__in_nim72(R_0050_0017__ENFORCED,R_0050_0025__THE_R_0050_0026__NEAR_R_0050_0027__EAST)
      & has_r_0050_0018__in_nim57(R_0050_0017__ENFORCED,R_0050_0020__30_R_0050_0021__COUNTRIES)
      & r_0050_0020__30_r_0050_0021__countries(R_0050_0020__30_R_0050_0021__COUNTRIES)
      & has_qual58(R_0050_0020__30_R_0050_0021__COUNTRIES,R_0050_0019__OVER)
      & has_arg1(R_0050_0017__ENFORCED,R_0050_0014__THE_R_0050_0016__SYSTEM) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{ILAW} (ADJP (ADJ Islamic;{islamic}))
                                     (N Law;{law}))
                      (PUNC <hyphen>)
                      (NP-PRD (D The;{the})
                              (ADJP (ADVP (ADVS most;{most}))
                                    (ADJ widespread;{widespread}))
                              (N type;{type})
                              (PP (P-ROLE of;{of})
                                  (NP (ADJP (ADJ religious;{religious}))
                                      (N law;{law})))))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ;{ILAW} (PRO it;{it}))
                             (BEP;_Ln_ is;{be})
                             (NP-PRD (D the;{the})
                                     (ADJP (ADJ legal;{legal}))
                                     (N system;{system})
                                     (IP-PPL (NP-LGS *)
                                             (VVN;_Tn_ enforced;{enforce})
                                             (PP-NIM (P-ROLE in;{in})
                                                     (NP (ADVP (ADV over;{over}))
                                                         (NUM 30)
                                                         (NS countries;{country})))
                                             (PUNC ,)
                                             (PP-NIM (ADV particularly;{particularly})
                                                     (P-ROLE in;{in})
                                                     (NP (D the;{the})
                                                         (NPR Near;{Near})
                                                         (NPR East;{East})))
                                             (PUNC ,)
                                             (PP-NIM (CONJ but;{but})
                                                     (ADV also;{also})
                                                     (P-ROLE in;{in})
                                                     (NP (NLYR (NLYR (NPR Central_and_South_Asia))
                                                               (PUNC ,)
                                                               (CONJP (NLYR (NPR Africa;{Africa})))
                                                               (PUNC ,)
                                                               (CONJP (CONJ and;{and})
                                                                      (NLYR (NPR Indonesia;{Indonesia})))))))))))
          (PUNC .))
  (ID 50_a_factbook_2_2010))