Context                Previous, Next                Top


52_a_factbook_2_2010
Islamic law is embodied in the sharia, an Arabic word meaning the right path.

%3 r_0052_0002__law law r_0052_0001__Islamic Islamic r_0052_0002__law->r_0052_0001__Islamic [attrib] r_0052_0003__is is r_0052_0003__is->r_0052_0002__law [arg0] r_0052_0004__embodied embodied r_0052_0003__is->r_0052_0004__embodied [prd] r_0052_0006__the_r_0052_0007__sharia the sharia r_0052_0004__embodied->r_0052_0006__the_r_0052_0007__sharia in r_0052_0009__an_r_0052_0011__word an word r_0052_0010__Arabic Arabic r_0052_0009__an_r_0052_0011__word->r_0052_0010__Arabic [attrib] r_0052_0012__meaning meaning r_0052_0012__meaning->r_0052_0009__an_r_0052_0011__word [arg0] r_0052_0013__the_r_0052_0015__path the path r_0052_0012__meaning->r_0052_0013__the_r_0052_0015__path [arg1] r_0052_0014__right right r_0052_0013__the_r_0052_0015__path->r_0052_0014__right [attrib] z_000_52_a_factbook_2_2010_23 z_000_52_a_factbook_2_2010_23->r_0052_0006__the_r_0052_0007__sharia [arg0] z_000_52_a_factbook_2_2010_23->r_0052_0009__an_r_0052_0011__word [prd] 
arc(r_0052_0002__law, r_0052_0001__Islamic, attrib3).
arc(r_0052_0003__is, r_0052_0002__law, arg0).
arc(r_0052_0003__is, r_0052_0004__embodied, prd).
arc(r_0052_0004__embodied, r_0052_0006__the_r_0052_0007__sharia, r_0052_0005__in).
arc(r_0052_0009__an_r_0052_0011__word, r_0052_0010__Arabic, attrib27).
arc(r_0052_0012__meaning, r_0052_0009__an_r_0052_0011__word, arg0).
arc(r_0052_0012__meaning, r_0052_0013__the_r_0052_0015__path, arg1).
arc(r_0052_0013__the_r_0052_0015__path, r_0052_0014__right, attrib38).
arc(z_000_52_a_factbook_2_2010_23, r_0052_0006__the_r_0052_0007__sharia, arg0).
arc(z_000_52_a_factbook_2_2010_23, r_0052_0009__an_r_0052_0011__word, prd).


%3 r_0052_0002__law law r_0052_0001__Islamic Islamic r_0052_0002__law->r_0052_0001__Islamic [attrib] r_0052_0003__is is r_0052_0003__is->r_0052_0002__law [arg0] r_0052_0004__embodied embodied r_0052_0003__is->r_0052_0004__embodied [prd] r_0052_0006__the_r_0052_0007__sharia the sharia r_0052_0004__embodied->r_0052_0006__the_r_0052_0007__sharia in r_0052_0009__an_r_0052_0011__word an word r_0052_0010__Arabic Arabic r_0052_0009__an_r_0052_0011__word->r_0052_0010__Arabic [attrib] r_0052_0012__meaning meaning r_0052_0012__meaning->r_0052_0009__an_r_0052_0011__word [arg0] r_0052_0013__the_r_0052_0015__path the path r_0052_0012__meaning->r_0052_0013__the_r_0052_0015__path [arg1] r_0052_0014__right right r_0052_0013__the_r_0052_0015__path->r_0052_0014__right [attrib] z_000_52_a_factbook_2_2010_23 z_000_52_a_factbook_2_2010_23->r_0052_0006__the_r_0052_0007__sharia [arg0] z_000_52_a_factbook_2_2010_23->r_0052_0009__an_r_0052_0011__word [prd] 
fof(formula,axiom,
    ? [R_52_3_IS,R_52_2_LAW,R_52_1_ISLAMIC,R_52_4_EMBODIED,R_52_12_MEANING,R_52_13_THE_PATH,R_52_14_RIGHT,Z_52_A_FACTBOOK_2_2010_23,R_52_6_THE_SHARIA,R_52_9_AN_WORD,R_52_10_ARABIC] :
      ( islamic(R_52_1_ISLAMIC)
      & right(R_52_14_RIGHT)
      & the_sharia(R_52_6_THE_SHARIA)
      & arabic(R_52_10_ARABIC)
      & is(R_52_3_IS,R_52_2_LAW,R_52_4_EMBODIED)
      & law(R_52_2_LAW)
      & attrib3(R_52_2_LAW,R_52_1_ISLAMIC)
      & embodied(R_52_4_EMBODIED)
      & in(R_52_4_EMBODIED,R_52_6_THE_SHARIA)
      & meaning(R_52_12_MEANING,R_52_9_AN_WORD,R_52_13_THE_PATH)
      & an_word(R_52_9_AN_WORD)
      & attrib27(R_52_9_AN_WORD,R_52_10_ARABIC)
      & the_path(R_52_13_THE_PATH)
      & attrib38(R_52_13_THE_PATH,R_52_14_RIGHT)
      & z_52_a_factbook_2_2010_23(Z_52_A_FACTBOOK_2_2010_23,R_52_6_THE_SHARIA,R_52_9_AN_WORD) ) ).


n52_a_factbook_2_2010 n52_a_factbook_2_2010_5 Islamic n52_a_factbook_2_2010_7 law n52_a_factbook_2_2010_9 is n52_a_factbook_2_2010_12 embodied n52_a_factbook_2_2010_15 in n52_a_factbook_2_2010_18 the n52_a_factbook_2_2010_20 sharia n52_a_factbook_2_2010_22 , n52_a_factbook_2_2010_26 an n52_a_factbook_2_2010_29 Arabic n52_a_factbook_2_2010_31 word n52_a_factbook_2_2010_34 meaning n52_a_factbook_2_2010_37 the n52_a_factbook_2_2010_40 right n52_a_factbook_2_2010_42 path n52_a_factbook_2_2010_44 . n52_a_factbook_2_2010_1 IP-MAT n52_a_factbook_2_2010_2 NP-SBJ n52_a_factbook_2_2010_1->n52_a_factbook_2_2010_2 n52_a_factbook_2_2010_8 BEP;_La_ n52_a_factbook_2_2010_1->n52_a_factbook_2_2010_8 n52_a_factbook_2_2010_10 ADJP-PRD n52_a_factbook_2_2010_1->n52_a_factbook_2_2010_10 n52_a_factbook_2_2010_43 PUNC n52_a_factbook_2_2010_1->n52_a_factbook_2_2010_43 n52_a_factbook_2_2010_3 ADJP n52_a_factbook_2_2010_2->n52_a_factbook_2_2010_3 n52_a_factbook_2_2010_6 N n52_a_factbook_2_2010_2->n52_a_factbook_2_2010_6 n52_a_factbook_2_2010_4 ADJ n52_a_factbook_2_2010_3->n52_a_factbook_2_2010_4 n52_a_factbook_2_2010_4->n52_a_factbook_2_2010_5 n52_a_factbook_2_2010_6->n52_a_factbook_2_2010_7 n52_a_factbook_2_2010_8->n52_a_factbook_2_2010_9 n52_a_factbook_2_2010_11 ADJ n52_a_factbook_2_2010_10->n52_a_factbook_2_2010_11 n52_a_factbook_2_2010_13 PP n52_a_factbook_2_2010_10->n52_a_factbook_2_2010_13 n52_a_factbook_2_2010_11->n52_a_factbook_2_2010_12 n52_a_factbook_2_2010_14 P-ROLE n52_a_factbook_2_2010_13->n52_a_factbook_2_2010_14 n52_a_factbook_2_2010_16 NP n52_a_factbook_2_2010_13->n52_a_factbook_2_2010_16 n52_a_factbook_2_2010_14->n52_a_factbook_2_2010_15 n52_a_factbook_2_2010_17 D n52_a_factbook_2_2010_16->n52_a_factbook_2_2010_17 n52_a_factbook_2_2010_19 N n52_a_factbook_2_2010_16->n52_a_factbook_2_2010_19 n52_a_factbook_2_2010_21 PUNC n52_a_factbook_2_2010_16->n52_a_factbook_2_2010_21 n52_a_factbook_2_2010_23 IP-PPL n52_a_factbook_2_2010_16->n52_a_factbook_2_2010_23 n52_a_factbook_2_2010_17->n52_a_factbook_2_2010_18 n52_a_factbook_2_2010_19->n52_a_factbook_2_2010_20 n52_a_factbook_2_2010_21->n52_a_factbook_2_2010_22 n52_a_factbook_2_2010_24 NP-PRD n52_a_factbook_2_2010_23->n52_a_factbook_2_2010_24 n52_a_factbook_2_2010_25 D n52_a_factbook_2_2010_24->n52_a_factbook_2_2010_25 n52_a_factbook_2_2010_27 ADJP n52_a_factbook_2_2010_24->n52_a_factbook_2_2010_27 n52_a_factbook_2_2010_30 N n52_a_factbook_2_2010_24->n52_a_factbook_2_2010_30 n52_a_factbook_2_2010_32 IP-PPL n52_a_factbook_2_2010_24->n52_a_factbook_2_2010_32 n52_a_factbook_2_2010_25->n52_a_factbook_2_2010_26 n52_a_factbook_2_2010_28 ADJ n52_a_factbook_2_2010_27->n52_a_factbook_2_2010_28 n52_a_factbook_2_2010_28->n52_a_factbook_2_2010_29 n52_a_factbook_2_2010_30->n52_a_factbook_2_2010_31 n52_a_factbook_2_2010_33 VAG;__ n52_a_factbook_2_2010_32->n52_a_factbook_2_2010_33 n52_a_factbook_2_2010_35 NP-OB1 n52_a_factbook_2_2010_32->n52_a_factbook_2_2010_35 n52_a_factbook_2_2010_33->n52_a_factbook_2_2010_34 n52_a_factbook_2_2010_36 D n52_a_factbook_2_2010_35->n52_a_factbook_2_2010_36 n52_a_factbook_2_2010_38 ADJP n52_a_factbook_2_2010_35->n52_a_factbook_2_2010_38 n52_a_factbook_2_2010_41 N n52_a_factbook_2_2010_35->n52_a_factbook_2_2010_41 n52_a_factbook_2_2010_36->n52_a_factbook_2_2010_37 n52_a_factbook_2_2010_39 ADJ n52_a_factbook_2_2010_38->n52_a_factbook_2_2010_39 n52_a_factbook_2_2010_39->n52_a_factbook_2_2010_40 n52_a_factbook_2_2010_41->n52_a_factbook_2_2010_42 n52_a_factbook_2_2010_43->n52_a_factbook_2_2010_44 
( (IP-MAT (NP-SBJ;{ILAW} (ADJP (ADJ Islamic;{islamic}))
                         (N law;{law}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ embodied;{embodied})
                    (PP (P-ROLE in;{in})
                        (NP (D the;{the})
                            (N sharia;{sharia})
                            (PUNC ,)
                            (IP-PPL (NP-PRD (D an;{an})
                                            (ADJP (ADJ Arabic;{arabic}))
                                            (N word;{word})
                                            (IP-PPL (VAG;__ meaning;{mean})
                                                    (NP-OB1 (D the;{the})
                                                            (ADJP (ADJ right;{right}))
                                                            (N path;{path}))))))))
          (PUNC .))
  (ID 52_a_factbook_2_2010))