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).

fof(formula,axiom,
    ? [R_0052_0001__ISLAMIC,R_0052_0002__LAW,R_0052_0006__THE_R_0052_0007__SHARIA,R_0052_0004__EMBODIED,R_0052_0003__IS,R_0052_0010__ARABIC,R_0052_0009__AN_R_0052_0011__WORD,R_0052_0014__RIGHT,R_0052_0013__THE_R_0052_0015__PATH,R_0052_0012__MEANING,Z_000_52_A_FACTBOOK_2_2010_23] :
      ( r_0052_0001__Islamic(R_0052_0001__ISLAMIC)
      & r_0052_0006__the_r_0052_0007__sharia(R_0052_0006__THE_R_0052_0007__SHARIA)
      & r_0052_0010__Arabic(R_0052_0010__ARABIC)
      & r_0052_0014__right(R_0052_0014__RIGHT)
      & z_000_52_a_factbook_2_2010_23(Z_000_52_A_FACTBOOK_2_2010_23)
      & has_prd(Z_000_52_A_FACTBOOK_2_2010_23,R_0052_0009__AN_R_0052_0011__WORD)
      & r_0052_0009__an_r_0052_0011__word(R_0052_0009__AN_R_0052_0011__WORD)
      & has_attrib27(R_0052_0009__AN_R_0052_0011__WORD,R_0052_0010__ARABIC)
      & has_arg0(Z_000_52_A_FACTBOOK_2_2010_23,R_0052_0006__THE_R_0052_0007__SHARIA)
      & r_0052_0012__meaning(R_0052_0012__MEANING)
      & has_arg1(R_0052_0012__MEANING,R_0052_0013__THE_R_0052_0015__PATH)
      & r_0052_0013__the_r_0052_0015__path(R_0052_0013__THE_R_0052_0015__PATH)
      & has_attrib38(R_0052_0013__THE_R_0052_0015__PATH,R_0052_0014__RIGHT)
      & has_arg0(R_0052_0012__MEANING,R_0052_0009__AN_R_0052_0011__WORD)
      & r_0052_0003__is(R_0052_0003__IS)
      & has_prd(R_0052_0003__IS,R_0052_0004__EMBODIED)
      & r_0052_0004__embodied(R_0052_0004__EMBODIED)
      & has_r_0052_0005__in(R_0052_0004__EMBODIED,R_0052_0006__THE_R_0052_0007__SHARIA)
      & has_arg0(R_0052_0003__IS,R_0052_0002__LAW)
      & r_0052_0002__law(R_0052_0002__LAW)
      & has_attrib3(R_0052_0002__LAW,R_0052_0001__ISLAMIC) ) ).

( (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))