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

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,r_0056_0007__as__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_0056_0001__SHIA_R_0056_0002__MUSLIMS,R_0056_0004__IJMAS,R_0056_0006__QIYAS,R_0056_0005__AND,R_0056_0010__SHARIA_R_0056_0011__LAW,R_0056_0008__SOURCES,R_0056_0003__REJECT] :
      ( r_0056_0001__Shia_r_0056_0002__Muslims(R_0056_0001__SHIA_R_0056_0002__MUSLIMS)
      & r_0056_0004__ijmas(R_0056_0004__IJMAS)
      & r_0056_0006__qiyas(R_0056_0006__QIYAS)
      & r_0056_0010__sharia_r_0056_0011__law(R_0056_0010__SHARIA_R_0056_0011__LAW)
      & r_0056_0003__reject(R_0056_0003__REJECT)
      & has_r_0056_0007__as__prd(R_0056_0003__REJECT,R_0056_0008__SOURCES)
      & r_0056_0008__sources(R_0056_0008__SOURCES)
      & has_r_0056_0009__of(R_0056_0008__SOURCES,R_0056_0010__SHARIA_R_0056_0011__LAW)
      & has_arg1(R_0056_0003__REJECT,R_0056_0005__AND)
      & r_0056_0005__and(R_0056_0005__AND)
      & has_conj2(R_0056_0005__AND,R_0056_0006__QIYAS)
      & has_conj1(R_0056_0005__AND,R_0056_0004__IJMAS)
      & has_arg0(R_0056_0003__REJECT,R_0056_0001__SHIA_R_0056_0002__MUSLIMS) ) ).