TSPC 68_a_factbook_2

68_a_factbook_2_2010
The main types of religious law are sharia in Islam, halakha in Judaism, and canon law in some Christian groups.

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ main;{main}))
                  (NS types;{type})
                  (PP (P-ROLE of;{of})
                      (NP (ADJP (ADJ religious;{religious}))
                          (N law;{law}))))
          (BEP;_Ln_ are;{be})
          (NP-PRD (NLYR (NLYR (N sharia;{sharia})
                              (PP (P-ROLE in;{in})
                                  (NP (NPR Islam;{Islam}))))
                        (PUNC ,)
                        (CONJP (NLYR (N halakha;{halakha})
                                     (PP (P-ROLE in;{in})
                                         (NP (NPR Judaism;{Judaism})))))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (N canon;{canon})
                                     (N law;{law})
                                     (PP (P-ROLE in;{in})
                                         (NP (D some;{some})
                                             (ADJP (ADJ Christian;{christian}))
                                             (NS groups;{group})))))))
          (PUNC .))
  (ID 68_a_factbook_2_2010))

arc(r_0068_0001__The_r_0068_0003__types,r_0068_0002__main,attrib).
arc(r_0068_0001__The_r_0068_0003__types,r_0068_0006__law,r_0068_0004__of).
arc(r_0068_0006__law,r_0068_0005__religious,attrib).
arc(r_0068_0007__are,r_0068_0001__The_r_0068_0003__types,arg0).
arc(r_0068_0007__are,r_0068_0016__and,prd).
arc(r_0068_0008__sharia,r_0068_0010__Islam,r_0068_0009__in).
arc(r_0068_0012__halakha,r_0068_0014__Judaism,r_0068_0013__in).
arc(r_0068_0016__and,r_0068_0008__sharia,conj1).
arc(r_0068_0016__and,r_0068_0012__halakha,conj2).
arc(r_0068_0016__and,r_0068_0017__canon_r_0068_0018__law,conj3).
arc(r_0068_0017__canon_r_0068_0018__law,r_0068_0020__some_r_0068_0022__groups,r_0068_0019__in).
arc(r_0068_0020__some_r_0068_0022__groups,r_0068_0021__Christian,attrib).

fof(formula,axiom,
    ? [R_0068_0002__MAIN,R_0068_0005__RELIGIOUS,R_0068_0006__LAW,R_0068_0001__THE_R_0068_0003__TYPES,R_0068_0010__ISLAM,R_0068_0008__SHARIA,R_0068_0014__JUDAISM,R_0068_0012__HALAKHA,R_0068_0021__CHRISTIAN,R_0068_0020__SOME_R_0068_0022__GROUPS,R_0068_0017__CANON_R_0068_0018__LAW,R_0068_0016__AND,R_0068_0007__ARE] :
      ( r_0068_0002__main(R_0068_0002__MAIN)
      & r_0068_0005__religious(R_0068_0005__RELIGIOUS)
      & r_0068_0010__Islam(R_0068_0010__ISLAM)
      & r_0068_0014__Judaism(R_0068_0014__JUDAISM)
      & r_0068_0021__Christian(R_0068_0021__CHRISTIAN)
      & r_0068_0007__are(R_0068_0007__ARE)
      & has_prd(R_0068_0007__ARE,R_0068_0016__AND)
      & r_0068_0016__and(R_0068_0016__AND)
      & has_conj3(R_0068_0016__AND,R_0068_0017__CANON_R_0068_0018__LAW)
      & r_0068_0017__canon_r_0068_0018__law(R_0068_0017__CANON_R_0068_0018__LAW)
      & has_r_0068_0019__in(R_0068_0017__CANON_R_0068_0018__LAW,R_0068_0020__SOME_R_0068_0022__GROUPS)
      & r_0068_0020__some_r_0068_0022__groups(R_0068_0020__SOME_R_0068_0022__GROUPS)
      & has_attrib(R_0068_0020__SOME_R_0068_0022__GROUPS,R_0068_0021__CHRISTIAN)
      & has_conj2(R_0068_0016__AND,R_0068_0012__HALAKHA)
      & r_0068_0012__halakha(R_0068_0012__HALAKHA)
      & has_r_0068_0013__in(R_0068_0012__HALAKHA,R_0068_0014__JUDAISM)
      & has_conj1(R_0068_0016__AND,R_0068_0008__SHARIA)
      & r_0068_0008__sharia(R_0068_0008__SHARIA)
      & has_r_0068_0009__in(R_0068_0008__SHARIA,R_0068_0010__ISLAM)
      & has_arg0(R_0068_0007__ARE,R_0068_0001__THE_R_0068_0003__TYPES)
      & r_0068_0001__The_r_0068_0003__types(R_0068_0001__THE_R_0068_0003__TYPES)
      & has_r_0068_0004__of(R_0068_0001__THE_R_0068_0003__TYPES,R_0068_0006__LAW)
      & r_0068_0006__law(R_0068_0006__LAW)
      & has_attrib(R_0068_0006__LAW,R_0068_0005__RELIGIOUS)
      & has_attrib(R_0068_0001__THE_R_0068_0003__TYPES,R_0068_0002__MAIN) ) ).