arc(r_0055_0002__addition, r_0055_0004__these_r_0055_0005__two_r_0055_0007__sources, r_0055_0003__to).
arc(r_0055_0004__these_r_0055_0005__two_r_0055_0007__sources, r_0055_0006__primary, attrib16).
arc(r_0055_0010__Sunni_r_0055_0011__Muslims, r_0055_0009__traditional, attrib24).
arc(r_0055_0012__recognize, r_0055_0002__addition, r_0055_0001__In_nim5).
arc(r_0055_0012__recognize, r_0055_0010__Sunni_r_0055_0011__Muslims, arg0).
arc(r_0055_0012__recognize, r_0055_0013__the_r_0055_0014__consensus, arg1).
arc(r_0055_0013__the_r_0055_0014__consensus, r_0055_0019__and, r_0055_0015__of).
arc(r_0055_0013__the_r_0055_0014__consensus, r_0055_0029__and, r_0055_0022__on).
arc(r_0055_0018__companions, r_0055_0016__Muhammad_r_0055_0017___apos_s, gen).
arc(r_0055_0019__and, r_0055_0018__companions, conj1).
arc(r_0055_0019__and, r_0055_0021__jurists, conj2).
arc(r_0055_0021__jurists, r_0055_0020__Islamic, attrib55).
arc(r_0055_0024__issues, r_0055_0023__certain, attrib66).
arc(r_0055_0026__called, r_0055_0024__issues, arg1).
arc(r_0055_0026__called, r_0055_0027__ijmas, prd).
arc(r_0055_0026__called, z_000_55_a_factbook_2_2010_74, arg0).
arc(r_0055_0029__and, r_0055_0024__issues, conj1).
arc(r_0055_0029__and, r_0055_0031__forms, conj2).
arc(r_0055_0031__forms, r_0055_0030__various, attrib87).
arc(r_0055_0031__forms, r_0055_0033__reasoning, r_0055_0032__of).
arc(r_0055_0035__including, r_0055_0033__reasoning, arg0).
arc(r_0055_0035__including, r_0055_0036__analogy, arg1).
arc(r_0055_0036__analogy, r_0055_0039__scholars, r_0055_0037__by).
arc(r_0055_0039__scholars, r_0055_0038__legal, attrib110).
arc(r_0055_0041__referred, r_0055_0033__reasoning, arg1).
arc(r_0055_0041__referred, r_0055_0044__qiyas, prd).
arc(r_0055_0041__referred, z_000_55_a_factbook_2_2010_118, arg0).

fof(formula,axiom,
    ? [R_55_12_RECOGNIZE,R_55_10_SUNNI_MUSLIMS,R_55_9_TRADITIONAL,R_55_13_THE_CONSENSUS,R_55_19_AND,R_55_18_COMPANIONS,R_55_16_MUHAMMAD_APOS_S,R_55_21_JURISTS,R_55_20_ISLAMIC,R_55_29_AND,R_55_31_FORMS,R_55_30_VARIOUS,R_55_2_ADDITION,R_55_4_THESE_TWO_SOURCES,R_55_6_PRIMARY,R_55_26_CALLED,Z_55_A_FACTBOOK_2_2010_74,R_55_24_ISSUES,R_55_23_CERTAIN,R_55_27_IJMAS,R_55_35_INCLUDING,R_55_36_ANALOGY,R_55_39_SCHOLARS,R_55_38_LEGAL,R_55_41_REFERRED,Z_55_A_FACTBOOK_2_2010_118,R_55_33_REASONING,R_55_44_QIYAS] :
      ( traditional(R_55_9_TRADITIONAL)
      & muhammad_apos_s(R_55_16_MUHAMMAD_APOS_S)
      & islamic(R_55_20_ISLAMIC)
      & various(R_55_30_VARIOUS)
      & primary(R_55_6_PRIMARY)
      & certain(R_55_23_CERTAIN)
      & ijmas(R_55_27_IJMAS)
      & legal(R_55_38_LEGAL)
      & reasoning(R_55_33_REASONING)
      & qiyas(R_55_44_QIYAS)
      & recognize(R_55_12_RECOGNIZE,R_55_10_SUNNI_MUSLIMS,R_55_13_THE_CONSENSUS)
      & sunni_Muslims(R_55_10_SUNNI_MUSLIMS)
      & attrib24(R_55_10_SUNNI_MUSLIMS,R_55_9_TRADITIONAL)
      & the_consensus(R_55_13_THE_CONSENSUS)
      & of(R_55_13_THE_CONSENSUS,R_55_19_AND)
      & and(R_55_19_AND)
      & conj1(R_55_19_AND,R_55_18_COMPANIONS)
      & companions(R_55_18_COMPANIONS)
      & gen(R_55_18_COMPANIONS,R_55_16_MUHAMMAD_APOS_S)
      & conj2(R_55_19_AND,R_55_21_JURISTS)
      & jurists(R_55_21_JURISTS)
      & attrib55(R_55_21_JURISTS,R_55_20_ISLAMIC)
      & on(R_55_13_THE_CONSENSUS,R_55_29_AND)
      & and(R_55_29_AND)
      & conj1(R_55_29_AND,R_55_24_ISSUES)
      & issues(R_55_24_ISSUES)
      & attrib66(R_55_24_ISSUES,R_55_23_CERTAIN)
      & conj2(R_55_29_AND,R_55_31_FORMS)
      & forms(R_55_31_FORMS)
      & attrib87(R_55_31_FORMS,R_55_30_VARIOUS)
      & of(R_55_31_FORMS,R_55_33_REASONING)
      & in_nim5(R_55_12_RECOGNIZE,R_55_2_ADDITION)
      & addition(R_55_2_ADDITION)
      & to(R_55_2_ADDITION,R_55_4_THESE_TWO_SOURCES)
      & these_two_sources(R_55_4_THESE_TWO_SOURCES)
      & attrib16(R_55_4_THESE_TWO_SOURCES,R_55_6_PRIMARY)
      & called(R_55_26_CALLED,Z_55_A_FACTBOOK_2_2010_74,R_55_24_ISSUES,R_55_27_IJMAS)
      & including(R_55_35_INCLUDING,R_55_33_REASONING,R_55_36_ANALOGY)
      & analogy(R_55_36_ANALOGY)
      & by(R_55_36_ANALOGY,R_55_39_SCHOLARS)
      & scholars(R_55_39_SCHOLARS)
      & attrib110(R_55_39_SCHOLARS,R_55_38_LEGAL)
      & referred(R_55_41_REFERRED,Z_55_A_FACTBOOK_2_2010_118,R_55_33_REASONING,R_55_44_QIYAS) ) ).

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (N addition;{addition})
                      (PP (P-ROLE to;{to})
                          (NP (D these;{these})
                              (NUM two;{two})
                              (ADJP (ADJ primary;{primary}))
                              (NS sources;{source})))))
          (PUNC ,)
          (NP-SBJ (ADJP (ADJ traditional;{traditional}))
                  (NPR Sunni;{Sunni})
                  (NPRS Muslims;{Muslims}))
          (VBP;__ recognize;{recognize})
          (NP-OB1 (D the;{the})
                  (N consensus;{consensus})
                  (PP (P-ROLE of;{of})
                      (NP (NLYR (NLYR (NP-GEN (NPR Muhammad;{Muhammad})
                                              (GENM <apos>s))
                                      (NS companions;{companion}))
                                (CONJP (CONJ and;{and})
                                       (NLYR (ADJP (ADJ Islamic;{islamic}))
                                             (NS jurists;{jurist}))))))
                  (PP (P-ROLE on;{on})
                      (NP (NLYR (NLYR (ADJP (ADJ certain;{certain}))
                                      (NS issues;{issue})
                                      (PUNC ,)
                                      (IP-PPL (NP-LGS *)
                                              (VVN;_Cn.n_ called;{call})
                                              (NP-PRD (NS ijmas;{ijmas}))))
                                (PUNC ,)
                                (CONJP (CONJ and;{and})
                                       (NLYR (ADJP (ADJ various;{various}))
                                             (NS forms;{form})
                                             (PP (P-ROLE of;{of})
                                                 (NP (N reasoning;{reasoning})
                                                     (PUNC ,)
                                                     (IP-PPL (VAG;__ including;{include})
                                                             (NP-OB1 (N analogy;{analogy})
                                                                     (PP (P-ROLE by;{by})
                                                                         (NP (ADJP (ADJ legal;{legal}))
                                                                             (NS scholars;{scholar})))))
                                                     (PUNC ,)
                                                     (IP-PPL (NP-LGS *)
                                                             (VVN;_phr_Vpr.n/a_ referred;{refer[to,as]})
                                                             (PP-CLR (P-ROLE to;{to}))
                                                             (PP-PRD (P-ROLE as;{as})
                                                                     (NP (NS qiyas;{qiyas}))))))))))))
          (PUNC .))
  (ID 55_a_factbook_2_2010))