TSPC 52_a_factbook_2

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

( (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 ,)
                            (PRN (NP (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))

arc(r_0052_0002__law,r_0052_0001__Islamic,attrib).
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,attrib).
arc(r_0052_0012__meaning,r_0052_0009__an_r_0052_0011__word,inv_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,attrib).
arc(z_0052_5010,r_0052_0006__the_r_0052_0007__sharia,arg0).
arc(z_0052_5010,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_0014__RIGHT,R_0052_0013__THE_R_0052_0015__PATH,R_0052_0012__MEANING,R_0052_0009__AN_R_0052_0011__WORD,Z_0052_5010] :
      ( 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_0052_5010(Z_0052_5010)
      & has_prd(Z_0052_5010,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_inv_arg0(R_0052_0009__AN_R_0052_0011__WORD,R_0052_0012__MEANING)
      & 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_attrib(R_0052_0013__THE_R_0052_0015__PATH,R_0052_0014__RIGHT)
      & has_attrib(R_0052_0009__AN_R_0052_0011__WORD,R_0052_0010__ARABIC)
      & has_arg0(Z_0052_5010,R_0052_0006__THE_R_0052_0007__SHARIA)
      & 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_attrib(R_0052_0002__LAW,R_0052_0001__ISLAMIC) ) ).