Context                Previous, Next                Top


68_a_factbook_2_2010
The main types of religious law are sharia in Islam, halakha in Judaism, and canon law in some Christian groups.

%3 r_0068_0001__The_r_0068_0003__types The types r_0068_0002__main main r_0068_0001__The_r_0068_0003__types->r_0068_0002__main [attrib] r_0068_0006__law law r_0068_0001__The_r_0068_0003__types->r_0068_0006__law of r_0068_0005__religious religious r_0068_0006__law->r_0068_0005__religious [attrib] r_0068_0007__are are r_0068_0007__are->r_0068_0001__The_r_0068_0003__types [arg0] r_0068_0016__and and r_0068_0007__are->r_0068_0016__and [prd] r_0068_0008__sharia sharia r_0068_0016__and->r_0068_0008__sharia [conj1] r_0068_0012__halakha halakha r_0068_0016__and->r_0068_0012__halakha [conj2] r_0068_0017__canon_r_0068_0018__law canon law r_0068_0016__and->r_0068_0017__canon_r_0068_0018__law [conj3] r_0068_0010__Islam Islam r_0068_0008__sharia->r_0068_0010__Islam in r_0068_0014__Judaism Judaism r_0068_0012__halakha->r_0068_0014__Judaism in r_0068_0020__some_r_0068_0022__groups some groups r_0068_0017__canon_r_0068_0018__law->r_0068_0020__some_r_0068_0022__groups in r_0068_0021__Christian Christian r_0068_0020__some_r_0068_0022__groups->r_0068_0021__Christian [attrib] 
arc(r_0068_0001__The_r_0068_0003__types, r_0068_0002__main, attrib5).
arc(r_0068_0001__The_r_0068_0003__types, r_0068_0006__law, r_0068_0004__of).
arc(r_0068_0006__law, r_0068_0005__religious, attrib14).
arc(r_0068_0007__are, r_0068_0001__The_r_0068_0003__types, arg0).
arc(r_0068_0007__are, r_0068_0016__and, prd).
arc(r_0068_0008__sharia, r_0068_0010__Islam, r_0068_0009__in).
arc(r_0068_0012__halakha, r_0068_0014__Judaism, r_0068_0013__in).
arc(r_0068_0016__and, r_0068_0008__sharia, conj1).
arc(r_0068_0016__and, r_0068_0012__halakha, conj2).
arc(r_0068_0016__and, r_0068_0017__canon_r_0068_0018__law, conj3).
arc(r_0068_0017__canon_r_0068_0018__law, r_0068_0020__some_r_0068_0022__groups, r_0068_0019__in).
arc(r_0068_0020__some_r_0068_0022__groups, r_0068_0021__Christian, attrib60).


%3 r_0068_0001__The_r_0068_0003__types The types r_0068_0002__main main r_0068_0001__The_r_0068_0003__types->r_0068_0002__main [attrib] r_0068_0006__law law r_0068_0001__The_r_0068_0003__types->r_0068_0006__law of r_0068_0005__religious religious r_0068_0006__law->r_0068_0005__religious [attrib] r_0068_0007__are are r_0068_0007__are->r_0068_0001__The_r_0068_0003__types [arg0] r_0068_0016__and and r_0068_0007__are->r_0068_0016__and [prd] r_0068_0008__sharia sharia r_0068_0016__and->r_0068_0008__sharia [conj1] r_0068_0012__halakha halakha r_0068_0016__and->r_0068_0012__halakha [conj2] r_0068_0017__canon_r_0068_0018__law canon law r_0068_0016__and->r_0068_0017__canon_r_0068_0018__law [conj3] r_0068_0010__Islam Islam r_0068_0008__sharia->r_0068_0010__Islam in r_0068_0014__Judaism Judaism r_0068_0012__halakha->r_0068_0014__Judaism in r_0068_0020__some_r_0068_0022__groups some groups r_0068_0017__canon_r_0068_0018__law->r_0068_0020__some_r_0068_0022__groups in r_0068_0021__Christian Christian r_0068_0020__some_r_0068_0022__groups->r_0068_0021__Christian [attrib] 
fof(formula,axiom,
    ? [R_68_7_ARE,R_68_1_THE_TYPES,R_68_2_MAIN,R_68_6_LAW,R_68_5_RELIGIOUS,R_68_16_AND,R_68_8_SHARIA,R_68_10_ISLAM,R_68_12_HALAKHA,R_68_14_JUDAISM,R_68_17_CANON_LAW,R_68_20_SOME_GROUPS,R_68_21_CHRISTIAN] :
      ( main(R_68_2_MAIN)
      & religious(R_68_5_RELIGIOUS)
      & islam(R_68_10_ISLAM)
      & judaism(R_68_14_JUDAISM)
      & christian(R_68_21_CHRISTIAN)
      & are(R_68_7_ARE,R_68_1_THE_TYPES,R_68_16_AND)
      & the_types(R_68_1_THE_TYPES)
      & attrib5(R_68_1_THE_TYPES,R_68_2_MAIN)
      & of(R_68_1_THE_TYPES,R_68_6_LAW)
      & law(R_68_6_LAW)
      & attrib14(R_68_6_LAW,R_68_5_RELIGIOUS)
      & and(R_68_16_AND)
      & conj1(R_68_16_AND,R_68_8_SHARIA)
      & sharia(R_68_8_SHARIA)
      & in(R_68_8_SHARIA,R_68_10_ISLAM)
      & conj2(R_68_16_AND,R_68_12_HALAKHA)
      & halakha(R_68_12_HALAKHA)
      & in(R_68_12_HALAKHA,R_68_14_JUDAISM)
      & conj3(R_68_16_AND,R_68_17_CANON_LAW)
      & canon_law(R_68_17_CANON_LAW)
      & in(R_68_17_CANON_LAW,R_68_20_SOME_GROUPS)
      & some_groups(R_68_20_SOME_GROUPS)
      & attrib60(R_68_20_SOME_GROUPS,R_68_21_CHRISTIAN) ) ).


n68_a_factbook_2_2010 n68_a_factbook_2_2010_4 The n68_a_factbook_2_2010_7 main n68_a_factbook_2_2010_9 types n68_a_factbook_2_2010_12 of n68_a_factbook_2_2010_16 religious n68_a_factbook_2_2010_18 law n68_a_factbook_2_2010_20 are n68_a_factbook_2_2010_25 sharia n68_a_factbook_2_2010_28 in n68_a_factbook_2_2010_31 Islam n68_a_factbook_2_2010_33 , n68_a_factbook_2_2010_37 halakha n68_a_factbook_2_2010_40 in n68_a_factbook_2_2010_43 Judaism n68_a_factbook_2_2010_45 , n68_a_factbook_2_2010_48 and n68_a_factbook_2_2010_51 canon n68_a_factbook_2_2010_53 law n68_a_factbook_2_2010_56 in n68_a_factbook_2_2010_59 some n68_a_factbook_2_2010_62 Christian n68_a_factbook_2_2010_64 groups n68_a_factbook_2_2010_66 . n68_a_factbook_2_2010_1 IP-MAT n68_a_factbook_2_2010_2 NP-SBJ n68_a_factbook_2_2010_1->n68_a_factbook_2_2010_2 n68_a_factbook_2_2010_19 BEP;_Ln_ n68_a_factbook_2_2010_1->n68_a_factbook_2_2010_19 n68_a_factbook_2_2010_21 NP-PRD n68_a_factbook_2_2010_1->n68_a_factbook_2_2010_21 n68_a_factbook_2_2010_65 PUNC n68_a_factbook_2_2010_1->n68_a_factbook_2_2010_65 n68_a_factbook_2_2010_3 D n68_a_factbook_2_2010_2->n68_a_factbook_2_2010_3 n68_a_factbook_2_2010_5 ADJP n68_a_factbook_2_2010_2->n68_a_factbook_2_2010_5 n68_a_factbook_2_2010_8 NS n68_a_factbook_2_2010_2->n68_a_factbook_2_2010_8 n68_a_factbook_2_2010_10 PP n68_a_factbook_2_2010_2->n68_a_factbook_2_2010_10 n68_a_factbook_2_2010_3->n68_a_factbook_2_2010_4 n68_a_factbook_2_2010_6 ADJ n68_a_factbook_2_2010_5->n68_a_factbook_2_2010_6 n68_a_factbook_2_2010_6->n68_a_factbook_2_2010_7 n68_a_factbook_2_2010_8->n68_a_factbook_2_2010_9 n68_a_factbook_2_2010_11 P-ROLE n68_a_factbook_2_2010_10->n68_a_factbook_2_2010_11 n68_a_factbook_2_2010_13 NP n68_a_factbook_2_2010_10->n68_a_factbook_2_2010_13 n68_a_factbook_2_2010_11->n68_a_factbook_2_2010_12 n68_a_factbook_2_2010_14 ADJP n68_a_factbook_2_2010_13->n68_a_factbook_2_2010_14 n68_a_factbook_2_2010_17 N n68_a_factbook_2_2010_13->n68_a_factbook_2_2010_17 n68_a_factbook_2_2010_15 ADJ n68_a_factbook_2_2010_14->n68_a_factbook_2_2010_15 n68_a_factbook_2_2010_15->n68_a_factbook_2_2010_16 n68_a_factbook_2_2010_17->n68_a_factbook_2_2010_18 n68_a_factbook_2_2010_19->n68_a_factbook_2_2010_20 n68_a_factbook_2_2010_22 NLYR n68_a_factbook_2_2010_21->n68_a_factbook_2_2010_22 n68_a_factbook_2_2010_23 NLYR n68_a_factbook_2_2010_22->n68_a_factbook_2_2010_23 n68_a_factbook_2_2010_32 PUNC n68_a_factbook_2_2010_22->n68_a_factbook_2_2010_32 n68_a_factbook_2_2010_34 CONJP n68_a_factbook_2_2010_22->n68_a_factbook_2_2010_34 n68_a_factbook_2_2010_44 PUNC n68_a_factbook_2_2010_22->n68_a_factbook_2_2010_44 n68_a_factbook_2_2010_46 CONJP n68_a_factbook_2_2010_22->n68_a_factbook_2_2010_46 n68_a_factbook_2_2010_24 N n68_a_factbook_2_2010_23->n68_a_factbook_2_2010_24 n68_a_factbook_2_2010_26 PP n68_a_factbook_2_2010_23->n68_a_factbook_2_2010_26 n68_a_factbook_2_2010_24->n68_a_factbook_2_2010_25 n68_a_factbook_2_2010_27 P-ROLE n68_a_factbook_2_2010_26->n68_a_factbook_2_2010_27 n68_a_factbook_2_2010_29 NP n68_a_factbook_2_2010_26->n68_a_factbook_2_2010_29 n68_a_factbook_2_2010_27->n68_a_factbook_2_2010_28 n68_a_factbook_2_2010_30 NPR n68_a_factbook_2_2010_29->n68_a_factbook_2_2010_30 n68_a_factbook_2_2010_30->n68_a_factbook_2_2010_31 n68_a_factbook_2_2010_32->n68_a_factbook_2_2010_33 n68_a_factbook_2_2010_35 NLYR n68_a_factbook_2_2010_34->n68_a_factbook_2_2010_35 n68_a_factbook_2_2010_36 N n68_a_factbook_2_2010_35->n68_a_factbook_2_2010_36 n68_a_factbook_2_2010_38 PP n68_a_factbook_2_2010_35->n68_a_factbook_2_2010_38 n68_a_factbook_2_2010_36->n68_a_factbook_2_2010_37 n68_a_factbook_2_2010_39 P-ROLE n68_a_factbook_2_2010_38->n68_a_factbook_2_2010_39 n68_a_factbook_2_2010_41 NP n68_a_factbook_2_2010_38->n68_a_factbook_2_2010_41 n68_a_factbook_2_2010_39->n68_a_factbook_2_2010_40 n68_a_factbook_2_2010_42 NPR n68_a_factbook_2_2010_41->n68_a_factbook_2_2010_42 n68_a_factbook_2_2010_42->n68_a_factbook_2_2010_43 n68_a_factbook_2_2010_44->n68_a_factbook_2_2010_45 n68_a_factbook_2_2010_47 CONJ n68_a_factbook_2_2010_46->n68_a_factbook_2_2010_47 n68_a_factbook_2_2010_49 NLYR n68_a_factbook_2_2010_46->n68_a_factbook_2_2010_49 n68_a_factbook_2_2010_47->n68_a_factbook_2_2010_48 n68_a_factbook_2_2010_50 N n68_a_factbook_2_2010_49->n68_a_factbook_2_2010_50 n68_a_factbook_2_2010_52 N n68_a_factbook_2_2010_49->n68_a_factbook_2_2010_52 n68_a_factbook_2_2010_54 PP n68_a_factbook_2_2010_49->n68_a_factbook_2_2010_54 n68_a_factbook_2_2010_50->n68_a_factbook_2_2010_51 n68_a_factbook_2_2010_52->n68_a_factbook_2_2010_53 n68_a_factbook_2_2010_55 P-ROLE n68_a_factbook_2_2010_54->n68_a_factbook_2_2010_55 n68_a_factbook_2_2010_57 NP n68_a_factbook_2_2010_54->n68_a_factbook_2_2010_57 n68_a_factbook_2_2010_55->n68_a_factbook_2_2010_56 n68_a_factbook_2_2010_58 D n68_a_factbook_2_2010_57->n68_a_factbook_2_2010_58 n68_a_factbook_2_2010_60 ADJP n68_a_factbook_2_2010_57->n68_a_factbook_2_2010_60 n68_a_factbook_2_2010_63 NS n68_a_factbook_2_2010_57->n68_a_factbook_2_2010_63 n68_a_factbook_2_2010_58->n68_a_factbook_2_2010_59 n68_a_factbook_2_2010_61 ADJ n68_a_factbook_2_2010_60->n68_a_factbook_2_2010_61 n68_a_factbook_2_2010_61->n68_a_factbook_2_2010_62 n68_a_factbook_2_2010_63->n68_a_factbook_2_2010_64 n68_a_factbook_2_2010_65->n68_a_factbook_2_2010_66 
( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ main;{main}))
                  (NS types;{type})
                  (PP (P-ROLE of;{of})
                      (NP (ADJP (ADJ religious;{religious}))
                          (N law;{law}))))
          (BEP;_Ln_ are;{be})
          (NP-PRD (NLYR (NLYR (N sharia;{sharia})
                              (PP (P-ROLE in;{in})
                                  (NP (NPR Islam;{Islam}))))
                        (PUNC ,)
                        (CONJP (NLYR (N halakha;{halakha})
                                     (PP (P-ROLE in;{in})
                                         (NP (NPR Judaism;{Judaism})))))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (N canon;{canon})
                                     (N law;{law})
                                     (PP (P-ROLE in;{in})
                                         (NP (D some;{some})
                                             (ADJP (ADJ Christian;{christian}))
                                             (NS groups;{group})))))))
          (PUNC .))
  (ID 68_a_factbook_2_2010))