TSPC 54_a_factbook_2

54_a_factbook_2_2010
The primary sources of sharia law are the Qur'an, believed by Muslims to be the word of God revealed to the Prophet Muhammad by the angel Gabriel, and the Sunnah, the teachings of the Prophet and his works.

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ primary;{primary}))
                  (NS sources;{source})
                  (PP (P-ROLE of;{of})
                      (NP (N sharia;{sharia})
                          (N law;{law}))))
          (BEP;_Ln_ are;{be})
          (NP-PRD (NLYR (NLYR (D the;{the})
                              (NPR Qur<apos>an;{Qur<apos>an})
                              (PUNC ,)
                              (IP-PPL (VVN;_Tnt_ believed;{believe})
                                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                                              (NP (NPRS Muslims;{Muslims})))
                                      (IP-INF2-OB1 (TO to;{to})
                                                   (BE;_Ln_ be;{be})
                                                   (NP-PRD (D the;{the})
                                                           (N word;{word})
                                                           (PP (P-ROLE of;{of})
                                                               (NP (NPR God;{God})))
                                                           (IP-PPL (VVN;__ revealed;{reveal})
                                                                   (PP-CLR (P-ROLE to;{to})
                                                                           (NP (D the;{the})
                                                                               (NPR Prophet;{Prophet})
                                                                               (NPR Muhammad;{Muhammad})))
                                                                   (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                           (NP (D the;{the})
                                                                               (NPR angel;{angel})
                                                                               (NPR Gabriel;{Gabriel}))))))))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (D the;{the})
                                     (NPR Sunnah;{Sunnah})
                                     (PUNC ,)
                                     (PRN (NP (NLYR (NLYR (D the;{the})
                                                          (NS teachings;{teaching})
                                                          (PP (P-ROLE of;{of})
                                                              (NP;{PROPHET} (D the;{the})
                                                                            (NPR Prophet;{Prophet}))))
                                                    (CONJP (CONJ and;{and})
                                                           (NLYR (NP-GEN;{PROPHET} (PRO;_genm_ his;{his}))
                                                                 (NS works;{work}))))))))))
          (PUNC .))
  (ID 54_a_factbook_2_2010))

arc(r_0054_0001__The_r_0054_0003__sources,r_0054_0002__primary,attrib).
arc(r_0054_0001__The_r_0054_0003__sources,r_0054_0005__sharia_r_0054_0006__law,r_0054_0004__of).
arc(r_0054_0007__are,r_0054_0001__The_r_0054_0003__sources,arg0).
arc(r_0054_0007__are,r_0054_0030__and,prd).
arc(r_0054_0011__believed,r_0054_0013__Muslims,r_0054_0012__by_arg0).
arc(r_0054_0011__believed,r_0054_0015__be,arg1).
arc(r_0054_0015__be,r_0054_0008__the_r_0054_0009__Qur_apos_an,arg0).
arc(r_0054_0015__be,r_0054_0016__the_r_0054_0017__word,prd).
arc(r_0054_0016__the_r_0054_0017__word,r_0054_0019__God,r_0054_0018__of).
arc(r_0054_0020__revealed,r_0054_0016__the_r_0054_0017__word,inv_arg1).
arc(r_0054_0020__revealed,r_0054_0022__the_r_0054_0023__Prophet_r_0054_0024__Muhammad,r_0054_0021__to__clr).
arc(r_0054_0020__revealed,r_0054_0026__the_r_0054_0027__angel_r_0054_0028__Gabriel,r_0054_0025__by_arg0).
arc(r_0054_0030__and,r_0054_0008__the_r_0054_0009__Qur_apos_an,conj1).
arc(r_0054_0030__and,r_0054_0031__the_r_0054_0032__Sunnah,conj2).
arc(r_0054_0034__the_r_0054_0035__teachings,r_0054_0037__the_r_0054_0038__Prophet,r_0054_0036__of).
arc(r_0054_0039__and,r_0054_0034__the_r_0054_0035__teachings,conj1).
arc(r_0054_0039__and,r_0054_0041__works,conj2).
arc(r_0054_0041__works,r_0054_0037__the_r_0054_0038__Prophet,gen).
arc(z_0054_5014,r_0054_0031__the_r_0054_0032__Sunnah,arg0).
arc(z_0054_5014,r_0054_0039__and,prd).

fof(formula,axiom,
    ? [R_0054_0002__PRIMARY,R_0054_0005__SHARIA_R_0054_0006__LAW,R_0054_0001__THE_R_0054_0003__SOURCES,R_0054_0008__THE_R_0054_0009__QUR_APOS_AN,R_0054_0031__THE_R_0054_0032__SUNNAH,R_0054_0030__AND,R_0054_0007__ARE,R_0054_0013__MUSLIMS,R_0054_0019__GOD,R_0054_0022__THE_R_0054_0023__PROPHET_R_0054_0024__MUHAMMAD,R_0054_0026__THE_R_0054_0027__ANGEL_R_0054_0028__GABRIEL,R_0054_0020__REVEALED,R_0054_0016__THE_R_0054_0017__WORD,R_0054_0015__BE,R_0054_0011__BELIEVED,R_0054_0037__THE_R_0054_0038__PROPHET,R_0054_0034__THE_R_0054_0035__TEACHINGS,R_0054_0041__WORKS,R_0054_0039__AND,Z_0054_5014] :
      ( r_0054_0002__primary(R_0054_0002__PRIMARY)
      & r_0054_0005__sharia_r_0054_0006__law(R_0054_0005__SHARIA_R_0054_0006__LAW)
      & r_0054_0008__the_r_0054_0009__Qur_apos_an(R_0054_0008__THE_R_0054_0009__QUR_APOS_AN)
      & r_0054_0013__Muslims(R_0054_0013__MUSLIMS)
      & r_0054_0019__God(R_0054_0019__GOD)
      & r_0054_0022__the_r_0054_0023__Prophet_r_0054_0024__Muhammad(R_0054_0022__THE_R_0054_0023__PROPHET_R_0054_0024__MUHAMMAD)
      & r_0054_0026__the_r_0054_0027__angel_r_0054_0028__Gabriel(R_0054_0026__THE_R_0054_0027__ANGEL_R_0054_0028__GABRIEL)
      & r_0054_0031__the_r_0054_0032__Sunnah(R_0054_0031__THE_R_0054_0032__SUNNAH)
      & r_0054_0037__the_r_0054_0038__Prophet(R_0054_0037__THE_R_0054_0038__PROPHET)
      & z_0054_5014(Z_0054_5014)
      & has_prd(Z_0054_5014,R_0054_0039__AND)
      & r_0054_0039__and(R_0054_0039__AND)
      & has_conj2(R_0054_0039__AND,R_0054_0041__WORKS)
      & r_0054_0041__works(R_0054_0041__WORKS)
      & has_gen(R_0054_0041__WORKS,R_0054_0037__THE_R_0054_0038__PROPHET)
      & has_conj1(R_0054_0039__AND,R_0054_0034__THE_R_0054_0035__TEACHINGS)
      & r_0054_0034__the_r_0054_0035__teachings(R_0054_0034__THE_R_0054_0035__TEACHINGS)
      & has_r_0054_0036__of(R_0054_0034__THE_R_0054_0035__TEACHINGS,R_0054_0037__THE_R_0054_0038__PROPHET)
      & has_arg0(Z_0054_5014,R_0054_0031__THE_R_0054_0032__SUNNAH)
      & r_0054_0011__believed(R_0054_0011__BELIEVED)
      & has_arg1(R_0054_0011__BELIEVED,R_0054_0015__BE)
      & r_0054_0015__be(R_0054_0015__BE)
      & has_prd(R_0054_0015__BE,R_0054_0016__THE_R_0054_0017__WORD)
      & r_0054_0016__the_r_0054_0017__word(R_0054_0016__THE_R_0054_0017__WORD)
      & has_inv_arg1(R_0054_0016__THE_R_0054_0017__WORD,R_0054_0020__REVEALED)
      & r_0054_0020__revealed(R_0054_0020__REVEALED)
      & has_r_0054_0025__by_arg0(R_0054_0020__REVEALED,R_0054_0026__THE_R_0054_0027__ANGEL_R_0054_0028__GABRIEL)
      & has_r_0054_0021__to__clr(R_0054_0020__REVEALED,R_0054_0022__THE_R_0054_0023__PROPHET_R_0054_0024__MUHAMMAD)
      & has_r_0054_0018__of(R_0054_0016__THE_R_0054_0017__WORD,R_0054_0019__GOD)
      & has_arg0(R_0054_0015__BE,R_0054_0008__THE_R_0054_0009__QUR_APOS_AN)
      & has_r_0054_0012__by_arg0(R_0054_0011__BELIEVED,R_0054_0013__MUSLIMS)
      & r_0054_0007__are(R_0054_0007__ARE)
      & has_prd(R_0054_0007__ARE,R_0054_0030__AND)
      & r_0054_0030__and(R_0054_0030__AND)
      & has_conj2(R_0054_0030__AND,R_0054_0031__THE_R_0054_0032__SUNNAH)
      & has_conj1(R_0054_0030__AND,R_0054_0008__THE_R_0054_0009__QUR_APOS_AN)
      & has_arg0(R_0054_0007__ARE,R_0054_0001__THE_R_0054_0003__SOURCES)
      & r_0054_0001__The_r_0054_0003__sources(R_0054_0001__THE_R_0054_0003__SOURCES)
      & has_r_0054_0004__of(R_0054_0001__THE_R_0054_0003__SOURCES,R_0054_0005__SHARIA_R_0054_0006__LAW)
      & has_attrib(R_0054_0001__THE_R_0054_0003__SOURCES,R_0054_0002__PRIMARY) ) ).