Context                Previous, Next                Top


69_a_factbook_2_2010
Sharia is the most widespread religious legal system (see Islamic Law), and is the sole system of law for countries including Iran, the Maldives, and Saudi Arabia.

%3 r_0069_0002__is is r_0069_0001__Sharia Sharia r_0069_0002__is->r_0069_0001__Sharia [arg0] r_0069_0003__the_r_0069_0008__system the system r_0069_0002__is->r_0069_0003__the_r_0069_0008__system [prd] r_0069_0005__widespread widespread r_0069_0003__the_r_0069_0008__system->r_0069_0005__widespread [attrib] r_0069_0006__religious religious r_0069_0003__the_r_0069_0008__system->r_0069_0006__religious [attrib] r_0069_0007__legal legal r_0069_0003__the_r_0069_0008__system->r_0069_0007__legal [attrib] r_0069_0004__most most r_0069_0005__widespread->r_0069_0004__most [qual] r_0069_0015__and and r_0069_0015__and->r_0069_0002__is [conj1] r_0069_0016__is is r_0069_0015__and->r_0069_0016__is [conj2] r_0069_0016__is->r_0069_0001__Sharia [arg0] r_0069_0017__the_r_0069_0019__system the system r_0069_0016__is->r_0069_0017__the_r_0069_0019__system [prd] r_0069_0018__sole sole r_0069_0017__the_r_0069_0019__system->r_0069_0018__sole [attrib] r_0069_0021__law law r_0069_0017__the_r_0069_0019__system->r_0069_0021__law of r_0069_0023__countries countries r_0069_0017__the_r_0069_0019__system->r_0069_0023__countries for r_0069_0024__including including r_0069_0024__including->r_0069_0023__countries [arg0] r_0069_0030__and and r_0069_0024__including->r_0069_0030__and [arg1] r_0069_0025__Iran Iran r_0069_0030__and->r_0069_0025__Iran [conj1] r_0069_0027__the_r_0069_0028__Maldives the Maldives r_0069_0030__and->r_0069_0027__the_r_0069_0028__Maldives [conj2] r_0069_0031__Saudi_r_0069_0032__Arabia Saudi Arabia r_0069_0030__and->r_0069_0031__Saudi_r_0069_0032__Arabia [conj3] 
arc(r_0069_0002__is, r_0069_0001__Sharia, arg0).
arc(r_0069_0002__is, r_0069_0003__the_r_0069_0008__system, prd).
arc(r_0069_0003__the_r_0069_0008__system, r_0069_0005__widespread, attrib12).
arc(r_0069_0003__the_r_0069_0008__system, r_0069_0006__religious, attrib18).
arc(r_0069_0003__the_r_0069_0008__system, r_0069_0007__legal, attrib21).
arc(r_0069_0005__widespread, r_0069_0004__most, qual13).
arc(r_0069_0015__and, r_0069_0002__is, conj1).
arc(r_0069_0015__and, r_0069_0016__is, conj2).
arc(r_0069_0016__is, r_0069_0001__Sharia, arg0).
arc(r_0069_0016__is, r_0069_0017__the_r_0069_0019__system, prd).
arc(r_0069_0017__the_r_0069_0019__system, r_0069_0018__sole, attrib51).
arc(r_0069_0017__the_r_0069_0019__system, r_0069_0021__law, r_0069_0020__of).
arc(r_0069_0017__the_r_0069_0019__system, r_0069_0023__countries, r_0069_0022__for).
arc(r_0069_0024__including, r_0069_0023__countries, arg0).
arc(r_0069_0024__including, r_0069_0030__and, arg1).
arc(r_0069_0030__and, r_0069_0025__Iran, conj1).
arc(r_0069_0030__and, r_0069_0027__the_r_0069_0028__Maldives, conj2).
arc(r_0069_0030__and, r_0069_0031__Saudi_r_0069_0032__Arabia, conj3).


%3 r_0069_0002__is is r_0069_0001__Sharia Sharia r_0069_0002__is->r_0069_0001__Sharia [arg0] r_0069_0003__the_r_0069_0008__system the system r_0069_0002__is->r_0069_0003__the_r_0069_0008__system [prd] r_0069_0005__widespread widespread r_0069_0003__the_r_0069_0008__system->r_0069_0005__widespread [attrib] r_0069_0006__religious religious r_0069_0003__the_r_0069_0008__system->r_0069_0006__religious [attrib] r_0069_0007__legal legal r_0069_0003__the_r_0069_0008__system->r_0069_0007__legal [attrib] r_0069_0004__most most r_0069_0005__widespread->r_0069_0004__most [qual] r_0069_0015__and and r_0069_0015__and->r_0069_0002__is [conj1] r_0069_0016__is is r_0069_0015__and->r_0069_0016__is [conj2] r_0069_0016__is->r_0069_0001__Sharia [arg0] r_0069_0017__the_r_0069_0019__system the system r_0069_0016__is->r_0069_0017__the_r_0069_0019__system [prd] r_0069_0018__sole sole r_0069_0017__the_r_0069_0019__system->r_0069_0018__sole [attrib] r_0069_0021__law law r_0069_0017__the_r_0069_0019__system->r_0069_0021__law of r_0069_0023__countries countries r_0069_0017__the_r_0069_0019__system->r_0069_0023__countries for r_0069_0024__including including r_0069_0024__including->r_0069_0023__countries [arg0] r_0069_0030__and and r_0069_0024__including->r_0069_0030__and [arg1] r_0069_0025__Iran Iran r_0069_0030__and->r_0069_0025__Iran [conj1] r_0069_0027__the_r_0069_0028__Maldives the Maldives r_0069_0030__and->r_0069_0027__the_r_0069_0028__Maldives [conj2] r_0069_0031__Saudi_r_0069_0032__Arabia Saudi Arabia r_0069_0030__and->r_0069_0031__Saudi_r_0069_0032__Arabia [conj3] 
fof(formula,axiom,
    ? [R_69_15_AND,R_69_2_IS,R_69_3_THE_SYSTEM,R_69_5_WIDESPREAD,R_69_4_MOST,R_69_6_RELIGIOUS,R_69_7_LEGAL,R_69_16_IS,R_69_1_SHARIA,R_69_17_THE_SYSTEM,R_69_18_SOLE,R_69_21_LAW,R_69_24_INCLUDING,R_69_23_COUNTRIES,R_69_30_AND,R_69_25_IRAN,R_69_27_THE_MALDIVES,R_69_31_SAUDI_ARABIA] :
      ( most(R_69_4_MOST)
      & religious(R_69_6_RELIGIOUS)
      & legal(R_69_7_LEGAL)
      & sharia(R_69_1_SHARIA)
      & sole(R_69_18_SOLE)
      & law(R_69_21_LAW)
      & countries(R_69_23_COUNTRIES)
      & iran(R_69_25_IRAN)
      & the_Maldives(R_69_27_THE_MALDIVES)
      & saudi_Arabia(R_69_31_SAUDI_ARABIA)
      & and(R_69_15_AND)
      & conj1(R_69_15_AND,R_69_2_IS)
      & is(R_69_2_IS,R_69_1_SHARIA,R_69_3_THE_SYSTEM)
      & the_system(R_69_3_THE_SYSTEM)
      & attrib12(R_69_3_THE_SYSTEM,R_69_5_WIDESPREAD)
      & widespread(R_69_5_WIDESPREAD)
      & qual13(R_69_5_WIDESPREAD,R_69_4_MOST)
      & attrib18(R_69_3_THE_SYSTEM,R_69_6_RELIGIOUS)
      & attrib21(R_69_3_THE_SYSTEM,R_69_7_LEGAL)
      & conj2(R_69_15_AND,R_69_16_IS)
      & is(R_69_16_IS,R_69_1_SHARIA,R_69_17_THE_SYSTEM)
      & the_system(R_69_17_THE_SYSTEM)
      & attrib51(R_69_17_THE_SYSTEM,R_69_18_SOLE)
      & of(R_69_17_THE_SYSTEM,R_69_21_LAW)
      & for(R_69_17_THE_SYSTEM,R_69_23_COUNTRIES)
      & including(R_69_24_INCLUDING,R_69_23_COUNTRIES,R_69_30_AND)
      & and(R_69_30_AND)
      & conj1(R_69_30_AND,R_69_25_IRAN)
      & conj2(R_69_30_AND,R_69_27_THE_MALDIVES)
      & conj3(R_69_30_AND,R_69_31_SAUDI_ARABIA) ) ).


n69_a_factbook_2_2010 n69_a_factbook_2_2010_4 Sharia n69_a_factbook_2_2010_8 is n69_a_factbook_2_2010_11 the n69_a_factbook_2_2010_15 most n69_a_factbook_2_2010_17 widespread n69_a_factbook_2_2010_20 religious n69_a_factbook_2_2010_23 legal n69_a_factbook_2_2010_25 system n69_a_factbook_2_2010_27 -LRB- n69_a_factbook_2_2010_31 see n69_a_factbook_2_2010_35 Islamic n69_a_factbook_2_2010_37 Law n69_a_factbook_2_2010_39 -RRB- n69_a_factbook_2_2010_41 , n69_a_factbook_2_2010_44 and n69_a_factbook_2_2010_47 is n69_a_factbook_2_2010_50 the n69_a_factbook_2_2010_53 sole n69_a_factbook_2_2010_55 system n69_a_factbook_2_2010_58 of n69_a_factbook_2_2010_61 law n69_a_factbook_2_2010_64 for n69_a_factbook_2_2010_67 countries n69_a_factbook_2_2010_70 including n69_a_factbook_2_2010_75 Iran n69_a_factbook_2_2010_77 , n69_a_factbook_2_2010_81 the n69_a_factbook_2_2010_83 Maldives n69_a_factbook_2_2010_85 , n69_a_factbook_2_2010_88 and n69_a_factbook_2_2010_91 Saudi n69_a_factbook_2_2010_93 Arabia n69_a_factbook_2_2010_95 . n69_a_factbook_2_2010_1 IP-MAT n69_a_factbook_2_2010_2 NP-SBJ n69_a_factbook_2_2010_1->n69_a_factbook_2_2010_2 n69_a_factbook_2_2010_5 ILYR n69_a_factbook_2_2010_1->n69_a_factbook_2_2010_5 n69_a_factbook_2_2010_94 PUNC n69_a_factbook_2_2010_1->n69_a_factbook_2_2010_94 n69_a_factbook_2_2010_3 N n69_a_factbook_2_2010_2->n69_a_factbook_2_2010_3 n69_a_factbook_2_2010_3->n69_a_factbook_2_2010_4 n69_a_factbook_2_2010_6 ILYR n69_a_factbook_2_2010_5->n69_a_factbook_2_2010_6 n69_a_factbook_2_2010_40 PUNC n69_a_factbook_2_2010_5->n69_a_factbook_2_2010_40 n69_a_factbook_2_2010_42 CONJP n69_a_factbook_2_2010_5->n69_a_factbook_2_2010_42 n69_a_factbook_2_2010_7 BEP;_Ln_ n69_a_factbook_2_2010_6->n69_a_factbook_2_2010_7 n69_a_factbook_2_2010_9 NP-PRD n69_a_factbook_2_2010_6->n69_a_factbook_2_2010_9 n69_a_factbook_2_2010_7->n69_a_factbook_2_2010_8 n69_a_factbook_2_2010_10 D n69_a_factbook_2_2010_9->n69_a_factbook_2_2010_10 n69_a_factbook_2_2010_12 ADJP n69_a_factbook_2_2010_9->n69_a_factbook_2_2010_12 n69_a_factbook_2_2010_18 ADJP n69_a_factbook_2_2010_9->n69_a_factbook_2_2010_18 n69_a_factbook_2_2010_21 ADJP n69_a_factbook_2_2010_9->n69_a_factbook_2_2010_21 n69_a_factbook_2_2010_24 N n69_a_factbook_2_2010_9->n69_a_factbook_2_2010_24 n69_a_factbook_2_2010_26 PULB n69_a_factbook_2_2010_9->n69_a_factbook_2_2010_26 n69_a_factbook_2_2010_28 PRN n69_a_factbook_2_2010_9->n69_a_factbook_2_2010_28 n69_a_factbook_2_2010_38 PURB n69_a_factbook_2_2010_9->n69_a_factbook_2_2010_38 n69_a_factbook_2_2010_10->n69_a_factbook_2_2010_11 n69_a_factbook_2_2010_13 ADVP n69_a_factbook_2_2010_12->n69_a_factbook_2_2010_13 n69_a_factbook_2_2010_16 ADJ n69_a_factbook_2_2010_12->n69_a_factbook_2_2010_16 n69_a_factbook_2_2010_14 ADVS n69_a_factbook_2_2010_13->n69_a_factbook_2_2010_14 n69_a_factbook_2_2010_14->n69_a_factbook_2_2010_15 n69_a_factbook_2_2010_16->n69_a_factbook_2_2010_17 n69_a_factbook_2_2010_19 ADJ n69_a_factbook_2_2010_18->n69_a_factbook_2_2010_19 n69_a_factbook_2_2010_19->n69_a_factbook_2_2010_20 n69_a_factbook_2_2010_22 ADJ n69_a_factbook_2_2010_21->n69_a_factbook_2_2010_22 n69_a_factbook_2_2010_22->n69_a_factbook_2_2010_23 n69_a_factbook_2_2010_24->n69_a_factbook_2_2010_25 n69_a_factbook_2_2010_26->n69_a_factbook_2_2010_27 n69_a_factbook_2_2010_29 IP-IMP n69_a_factbook_2_2010_28->n69_a_factbook_2_2010_29 n69_a_factbook_2_2010_30 VB;__ n69_a_factbook_2_2010_29->n69_a_factbook_2_2010_30 n69_a_factbook_2_2010_32 NP-OB1 n69_a_factbook_2_2010_29->n69_a_factbook_2_2010_32 n69_a_factbook_2_2010_30->n69_a_factbook_2_2010_31 n69_a_factbook_2_2010_33 ADJP n69_a_factbook_2_2010_32->n69_a_factbook_2_2010_33 n69_a_factbook_2_2010_36 N n69_a_factbook_2_2010_32->n69_a_factbook_2_2010_36 n69_a_factbook_2_2010_34 ADJ n69_a_factbook_2_2010_33->n69_a_factbook_2_2010_34 n69_a_factbook_2_2010_34->n69_a_factbook_2_2010_35 n69_a_factbook_2_2010_36->n69_a_factbook_2_2010_37 n69_a_factbook_2_2010_38->n69_a_factbook_2_2010_39 n69_a_factbook_2_2010_40->n69_a_factbook_2_2010_41 n69_a_factbook_2_2010_43 CONJ n69_a_factbook_2_2010_42->n69_a_factbook_2_2010_43 n69_a_factbook_2_2010_45 ILYR n69_a_factbook_2_2010_42->n69_a_factbook_2_2010_45 n69_a_factbook_2_2010_43->n69_a_factbook_2_2010_44 n69_a_factbook_2_2010_46 BEP;_Ln_ n69_a_factbook_2_2010_45->n69_a_factbook_2_2010_46 n69_a_factbook_2_2010_48 NP-PRD n69_a_factbook_2_2010_45->n69_a_factbook_2_2010_48 n69_a_factbook_2_2010_46->n69_a_factbook_2_2010_47 n69_a_factbook_2_2010_49 D n69_a_factbook_2_2010_48->n69_a_factbook_2_2010_49 n69_a_factbook_2_2010_51 ADJP n69_a_factbook_2_2010_48->n69_a_factbook_2_2010_51 n69_a_factbook_2_2010_54 N n69_a_factbook_2_2010_48->n69_a_factbook_2_2010_54 n69_a_factbook_2_2010_56 PP n69_a_factbook_2_2010_48->n69_a_factbook_2_2010_56 n69_a_factbook_2_2010_62 PP n69_a_factbook_2_2010_48->n69_a_factbook_2_2010_62 n69_a_factbook_2_2010_49->n69_a_factbook_2_2010_50 n69_a_factbook_2_2010_52 ADJ n69_a_factbook_2_2010_51->n69_a_factbook_2_2010_52 n69_a_factbook_2_2010_52->n69_a_factbook_2_2010_53 n69_a_factbook_2_2010_54->n69_a_factbook_2_2010_55 n69_a_factbook_2_2010_57 P-ROLE n69_a_factbook_2_2010_56->n69_a_factbook_2_2010_57 n69_a_factbook_2_2010_59 NP n69_a_factbook_2_2010_56->n69_a_factbook_2_2010_59 n69_a_factbook_2_2010_57->n69_a_factbook_2_2010_58 n69_a_factbook_2_2010_60 N n69_a_factbook_2_2010_59->n69_a_factbook_2_2010_60 n69_a_factbook_2_2010_60->n69_a_factbook_2_2010_61 n69_a_factbook_2_2010_63 P-ROLE n69_a_factbook_2_2010_62->n69_a_factbook_2_2010_63 n69_a_factbook_2_2010_65 NP n69_a_factbook_2_2010_62->n69_a_factbook_2_2010_65 n69_a_factbook_2_2010_63->n69_a_factbook_2_2010_64 n69_a_factbook_2_2010_66 NS n69_a_factbook_2_2010_65->n69_a_factbook_2_2010_66 n69_a_factbook_2_2010_68 IP-PPL n69_a_factbook_2_2010_65->n69_a_factbook_2_2010_68 n69_a_factbook_2_2010_66->n69_a_factbook_2_2010_67 n69_a_factbook_2_2010_69 VAG;__ n69_a_factbook_2_2010_68->n69_a_factbook_2_2010_69 n69_a_factbook_2_2010_71 NP-OB1 n69_a_factbook_2_2010_68->n69_a_factbook_2_2010_71 n69_a_factbook_2_2010_69->n69_a_factbook_2_2010_70 n69_a_factbook_2_2010_72 NLYR n69_a_factbook_2_2010_71->n69_a_factbook_2_2010_72 n69_a_factbook_2_2010_73 NLYR n69_a_factbook_2_2010_72->n69_a_factbook_2_2010_73 n69_a_factbook_2_2010_76 PUNC n69_a_factbook_2_2010_72->n69_a_factbook_2_2010_76 n69_a_factbook_2_2010_78 CONJP n69_a_factbook_2_2010_72->n69_a_factbook_2_2010_78 n69_a_factbook_2_2010_84 PUNC n69_a_factbook_2_2010_72->n69_a_factbook_2_2010_84 n69_a_factbook_2_2010_86 CONJP n69_a_factbook_2_2010_72->n69_a_factbook_2_2010_86 n69_a_factbook_2_2010_74 NPR n69_a_factbook_2_2010_73->n69_a_factbook_2_2010_74 n69_a_factbook_2_2010_74->n69_a_factbook_2_2010_75 n69_a_factbook_2_2010_76->n69_a_factbook_2_2010_77 n69_a_factbook_2_2010_79 NLYR n69_a_factbook_2_2010_78->n69_a_factbook_2_2010_79 n69_a_factbook_2_2010_80 D n69_a_factbook_2_2010_79->n69_a_factbook_2_2010_80 n69_a_factbook_2_2010_82 NPRS n69_a_factbook_2_2010_79->n69_a_factbook_2_2010_82 n69_a_factbook_2_2010_80->n69_a_factbook_2_2010_81 n69_a_factbook_2_2010_82->n69_a_factbook_2_2010_83 n69_a_factbook_2_2010_84->n69_a_factbook_2_2010_85 n69_a_factbook_2_2010_87 CONJ n69_a_factbook_2_2010_86->n69_a_factbook_2_2010_87 n69_a_factbook_2_2010_89 NLYR n69_a_factbook_2_2010_86->n69_a_factbook_2_2010_89 n69_a_factbook_2_2010_87->n69_a_factbook_2_2010_88 n69_a_factbook_2_2010_90 NPR n69_a_factbook_2_2010_89->n69_a_factbook_2_2010_90 n69_a_factbook_2_2010_92 NPR n69_a_factbook_2_2010_89->n69_a_factbook_2_2010_92 n69_a_factbook_2_2010_90->n69_a_factbook_2_2010_91 n69_a_factbook_2_2010_92->n69_a_factbook_2_2010_93 n69_a_factbook_2_2010_94->n69_a_factbook_2_2010_95 
( (IP-MAT (NP-SBJ (N Sharia;{sharia}))
          (ILYR (ILYR (BEP;_Ln_ is;{be})
                      (NP-PRD (D the;{the})
                              (ADJP (ADVP (ADVS most;{most}))
                                    (ADJ widespread;{widespread}))
                              (ADJP (ADJ religious;{religious}))
                              (ADJP (ADJ legal;{legal}))
                              (N system;{system})
                              (PULB -LRB-)
                              (PRN (IP-IMP (VB;__ see;{see})
                                           (NP-OB1 (ADJP (ADJ Islamic;{islamic}))
                                                   (N Law;{law}))))
                              (PURB -RRB-)))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (BEP;_Ln_ is;{be})
                             (NP-PRD (D the;{the})
                                     (ADJP (ADJ sole;{sole}))
                                     (N system;{system})
                                     (PP (P-ROLE of;{of})
                                         (NP (N law;{law})))
                                     (PP (P-ROLE for;{for})
                                         (NP (NS countries;{country})
                                             (IP-PPL (VAG;__ including;{include})
                                                     (NP-OB1 (NLYR (NLYR (NPR Iran;{Iran}))
                                                                   (PUNC ,)
                                                                   (CONJP (NLYR (D the;{the})
                                                                                (NPRS Maldives;{Maldives})))
                                                                   (PUNC ,)
                                                                   (CONJP (CONJ and;{and})
                                                                          (NLYR (NPR Saudi;{Saudi})
                                                                                (NPR Arabia;{Arabia}))))))))))))
          (PUNC .))
  (ID 69_a_factbook_2_2010))