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 z_000_52_a_factbook_2_2010_23 r_0052_0009__an_r_0052_0011__word an word z_000_52_a_factbook_2_2010_23->r_0052_0009__an_r_0052_0011__word [prd] r_0052_0006__the_r_0052_0007__sharia the sharia z_000_52_a_factbook_2_2010_23->r_0052_0006__the_r_0052_0007__sharia [arg0] r_0052_0010__Arabic Arabic r_0052_0009__an_r_0052_0011__word->r_0052_0010__Arabic [attrib] r_0052_0013__the_r_0052_0015__path the path r_0052_0014__right right r_0052_0013__the_r_0052_0015__path->r_0052_0014__right [attrib] r_0052_0012__meaning meaning r_0052_0012__meaning->r_0052_0009__an_r_0052_0011__word [arg0] r_0052_0012__meaning->r_0052_0013__the_r_0052_0015__path [arg1] r_0052_0004__embodied embodied r_0052_0004__embodied->r_0052_0006__the_r_0052_0007__sharia in r_0052_0003__is is r_0052_0003__is->r_0052_0004__embodied [prd] r_0052_0002__law law r_0052_0003__is->r_0052_0002__law [arg0] r_0052_0001__Islamic Islamic r_0052_0002__law->r_0052_0001__Islamic [attrib] 
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__1_1_1_1_1 Islamic n52_a_factbook_2_2010__1_1_2_1 law n52_a_factbook_2_2010__1_2_1 is n52_a_factbook_2_2010__1_3_1_1 embodied n52_a_factbook_2_2010__1_3_2_1_1 in n52_a_factbook_2_2010__1_3_2_2_1_1 the n52_a_factbook_2_2010__1_3_2_2_2_1 sharia n52_a_factbook_2_2010__1_3_2_2_3_1 , n52_a_factbook_2_2010__1_3_2_2_4_1_1_1 an n52_a_factbook_2_2010__1_3_2_2_4_1_2_1_1 Arabic n52_a_factbook_2_2010__1_3_2_2_4_1_3_1 word n52_a_factbook_2_2010__1_3_2_2_4_1_4_1_1 meaning n52_a_factbook_2_2010__1_3_2_2_4_1_4_2_1_1 the n52_a_factbook_2_2010__1_3_2_2_4_1_4_2_2_1_1 right n52_a_factbook_2_2010__1_3_2_2_4_1_4_2_3_1 path n52_a_factbook_2_2010__1_4_1 . n52_a_factbook_2_2010__1 IP-MAT n52_a_factbook_2_2010__1_1 NP-SBJ n52_a_factbook_2_2010__1->n52_a_factbook_2_2010__1_1 n52_a_factbook_2_2010__1_2 BEP;_La_ n52_a_factbook_2_2010__1->n52_a_factbook_2_2010__1_2 n52_a_factbook_2_2010__1_3 ADJP-PRD n52_a_factbook_2_2010__1->n52_a_factbook_2_2010__1_3 n52_a_factbook_2_2010__1_4 PUNC n52_a_factbook_2_2010__1->n52_a_factbook_2_2010__1_4 n52_a_factbook_2_2010__1_1_1 ADJP n52_a_factbook_2_2010__1_1->n52_a_factbook_2_2010__1_1_1 n52_a_factbook_2_2010__1_1_2 N n52_a_factbook_2_2010__1_1->n52_a_factbook_2_2010__1_1_2 n52_a_factbook_2_2010__1_1_1_1 ADJ n52_a_factbook_2_2010__1_1_1->n52_a_factbook_2_2010__1_1_1_1 n52_a_factbook_2_2010__1_1_1_1->n52_a_factbook_2_2010__1_1_1_1_1 n52_a_factbook_2_2010__1_1_2->n52_a_factbook_2_2010__1_1_2_1 n52_a_factbook_2_2010__1_2->n52_a_factbook_2_2010__1_2_1 n52_a_factbook_2_2010__1_3_1 ADJ n52_a_factbook_2_2010__1_3->n52_a_factbook_2_2010__1_3_1 n52_a_factbook_2_2010__1_3_2 PP n52_a_factbook_2_2010__1_3->n52_a_factbook_2_2010__1_3_2 n52_a_factbook_2_2010__1_3_1->n52_a_factbook_2_2010__1_3_1_1 n52_a_factbook_2_2010__1_3_2_1 P-ROLE n52_a_factbook_2_2010__1_3_2->n52_a_factbook_2_2010__1_3_2_1 n52_a_factbook_2_2010__1_3_2_2 NP n52_a_factbook_2_2010__1_3_2->n52_a_factbook_2_2010__1_3_2_2 n52_a_factbook_2_2010__1_3_2_1->n52_a_factbook_2_2010__1_3_2_1_1 n52_a_factbook_2_2010__1_3_2_2_1 D n52_a_factbook_2_2010__1_3_2_2->n52_a_factbook_2_2010__1_3_2_2_1 n52_a_factbook_2_2010__1_3_2_2_2 N n52_a_factbook_2_2010__1_3_2_2->n52_a_factbook_2_2010__1_3_2_2_2 n52_a_factbook_2_2010__1_3_2_2_3 PUNC n52_a_factbook_2_2010__1_3_2_2->n52_a_factbook_2_2010__1_3_2_2_3 n52_a_factbook_2_2010__1_3_2_2_4 IP-PPL n52_a_factbook_2_2010__1_3_2_2->n52_a_factbook_2_2010__1_3_2_2_4 n52_a_factbook_2_2010__1_3_2_2_1->n52_a_factbook_2_2010__1_3_2_2_1_1 n52_a_factbook_2_2010__1_3_2_2_2->n52_a_factbook_2_2010__1_3_2_2_2_1 n52_a_factbook_2_2010__1_3_2_2_3->n52_a_factbook_2_2010__1_3_2_2_3_1 n52_a_factbook_2_2010__1_3_2_2_4_1 NP-PRD n52_a_factbook_2_2010__1_3_2_2_4->n52_a_factbook_2_2010__1_3_2_2_4_1 n52_a_factbook_2_2010__1_3_2_2_4_1_1 D n52_a_factbook_2_2010__1_3_2_2_4_1->n52_a_factbook_2_2010__1_3_2_2_4_1_1 n52_a_factbook_2_2010__1_3_2_2_4_1_2 ADJP n52_a_factbook_2_2010__1_3_2_2_4_1->n52_a_factbook_2_2010__1_3_2_2_4_1_2 n52_a_factbook_2_2010__1_3_2_2_4_1_3 N n52_a_factbook_2_2010__1_3_2_2_4_1->n52_a_factbook_2_2010__1_3_2_2_4_1_3 n52_a_factbook_2_2010__1_3_2_2_4_1_4 IP-PPL n52_a_factbook_2_2010__1_3_2_2_4_1->n52_a_factbook_2_2010__1_3_2_2_4_1_4 n52_a_factbook_2_2010__1_3_2_2_4_1_1->n52_a_factbook_2_2010__1_3_2_2_4_1_1_1 n52_a_factbook_2_2010__1_3_2_2_4_1_2_1 ADJ n52_a_factbook_2_2010__1_3_2_2_4_1_2->n52_a_factbook_2_2010__1_3_2_2_4_1_2_1 n52_a_factbook_2_2010__1_3_2_2_4_1_2_1->n52_a_factbook_2_2010__1_3_2_2_4_1_2_1_1 n52_a_factbook_2_2010__1_3_2_2_4_1_3->n52_a_factbook_2_2010__1_3_2_2_4_1_3_1 n52_a_factbook_2_2010__1_3_2_2_4_1_4_1 VAG;__ n52_a_factbook_2_2010__1_3_2_2_4_1_4->n52_a_factbook_2_2010__1_3_2_2_4_1_4_1 n52_a_factbook_2_2010__1_3_2_2_4_1_4_2 NP-OB1 n52_a_factbook_2_2010__1_3_2_2_4_1_4->n52_a_factbook_2_2010__1_3_2_2_4_1_4_2 n52_a_factbook_2_2010__1_3_2_2_4_1_4_1->n52_a_factbook_2_2010__1_3_2_2_4_1_4_1_1 n52_a_factbook_2_2010__1_3_2_2_4_1_4_2_1 D n52_a_factbook_2_2010__1_3_2_2_4_1_4_2->n52_a_factbook_2_2010__1_3_2_2_4_1_4_2_1 n52_a_factbook_2_2010__1_3_2_2_4_1_4_2_2 ADJP n52_a_factbook_2_2010__1_3_2_2_4_1_4_2->n52_a_factbook_2_2010__1_3_2_2_4_1_4_2_2 n52_a_factbook_2_2010__1_3_2_2_4_1_4_2_3 N n52_a_factbook_2_2010__1_3_2_2_4_1_4_2->n52_a_factbook_2_2010__1_3_2_2_4_1_4_2_3 n52_a_factbook_2_2010__1_3_2_2_4_1_4_2_1->n52_a_factbook_2_2010__1_3_2_2_4_1_4_2_1_1 n52_a_factbook_2_2010__1_3_2_2_4_1_4_2_2_1 ADJ n52_a_factbook_2_2010__1_3_2_2_4_1_4_2_2->n52_a_factbook_2_2010__1_3_2_2_4_1_4_2_2_1 n52_a_factbook_2_2010__1_3_2_2_4_1_4_2_2_1->n52_a_factbook_2_2010__1_3_2_2_4_1_4_2_2_1_1 n52_a_factbook_2_2010__1_3_2_2_4_1_4_2_3->n52_a_factbook_2_2010__1_3_2_2_4_1_4_2_3_1 n52_a_factbook_2_2010__1_4->n52_a_factbook_2_2010__1_4_1 
( (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))