56_a_factbook_2_2010
Shia Muslims reject ijmas and qiyas as sources of sharia law.
arc(r_0056_0003__reject, r_0056_0001__Shia_r_0056_0002__Muslims, arg0).
arc(r_0056_0003__reject, r_0056_0005__and, arg1).
arc(r_0056_0003__reject, r_0056_0008__sources, prd).
arc(r_0056_0005__and, r_0056_0004__ijmas, conj1).
arc(r_0056_0005__and, r_0056_0006__qiyas, conj2).
arc(r_0056_0008__sources, r_0056_0010__sharia_r_0056_0011__law, r_0056_0009__of).
fof(formula,axiom,
? [R_56_3_REJECT,R_56_1_SHIA_MUSLIMS,R_56_5_AND,R_56_4_IJMAS,R_56_6_QIYAS,R_56_8_SOURCES,R_56_10_SHARIA_LAW] :
( shia_Muslims(R_56_1_SHIA_MUSLIMS)
& ijmas(R_56_4_IJMAS)
& qiyas(R_56_6_QIYAS)
& sharia_law(R_56_10_SHARIA_LAW)
& reject(R_56_3_REJECT,R_56_1_SHIA_MUSLIMS,R_56_5_AND,R_56_8_SOURCES)
& and(R_56_5_AND)
& conj1(R_56_5_AND,R_56_4_IJMAS)
& conj2(R_56_5_AND,R_56_6_QIYAS)
& sources(R_56_8_SOURCES)
& of(R_56_8_SOURCES,R_56_10_SHARIA_LAW) ) ).
( (IP-MAT (NP-SBJ (NPR Shia;{Shia})
(NPRS Muslims;{Muslims}))
(VBP;_Cn.n/a_ reject;{reject[as]})
(NP-OB1 (NLYR (NLYR (NS ijmas;{ijmas}))
(CONJP (CONJ and;{and})
(NLYR (NS qiyas;{qiyas})))))
(PP-PRD (P-ROLE as;{as})
(NP (NS sources;{source})
(PP (P-ROLE of;{of})
(NP (N sharia;{sharia})
(N law;{law})))))
(PUNC .))
(ID 56_a_factbook_2_2010))