TSPC 71_a_factbook_2

71_a_factbook_2_2010
Canon law is not a divine law as such because it is not found in revelation.

( (IP-MAT (NP-SBJ;{CANON_LAW} (N Canon;{canon})
                              (N law;{law}))
          (BEP;_Ln_ is;{be})
          (NEG not;{not})
          (NP-PRD (D a;{a})
                  (ADJP (ADJ divine;{divine}))
                  (N law;{law})
                  (PP (P-ROLE as;{as})
                      (ADJP (ADJ;_such_ such;{such}))))
          (PP-SCON (P-CONN because;{because})
                   (IP-ADV (NP-SBJ;{CANON_LAW} (PRO it;{it}))
                           (BEP;_cat_VePASS_ is;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (NEG not;{not})
                                       (VVN;__ found;{find})
                                       (PP-NIM (P-ROLE in;{in})
                                               (NP (N revelation;{revelation}))))))
          (PUNC .))
  (ID 71_a_factbook_2_2010))

arc(r_0071_0003__is,r_0071_0001__Canon_r_0071_0002__law,arg0).
arc(r_0071_0003__is,r_0071_0005__a_r_0071_0007__law,prd).
arc(r_0071_0004__not,r_0071_0003__is,keep_scope).
arc(r_0071_0005__a_r_0071_0007__law,r_0071_0006__divine,attrib).
arc(r_0071_0005__a_r_0071_0007__law,r_0071_0009__such,r_0071_0008__as).
arc(r_0071_0010__because,r_0071_0004__not,scope).
arc(r_0071_0010__because,r_0071_0012__is,restriction).
arc(r_0071_0012__is,r_0071_0013__not,scope).
arc(r_0071_0013__not,r_0071_0014__found,keep_scope).
arc(r_0071_0014__found,r_0071_0001__Canon_r_0071_0002__law,arg1).
arc(r_0071_0014__found,r_0071_0016__revelation,r_0071_0015__in__nim).
arc(r_0071_0014__found,z_0071_5007___star_,arg0).

fof(formula,axiom,
    ? [R_0071_0010__BECAUSE] :
      ( r_0071_0010__because(R_0071_0010__BECAUSE)
      & has_conj1(R_0071_0010__BECAUSE,R_0071_0012__IS_R_0071_0013__NOT)
      & ~ ? [R_0071_0001__CANON_R_0071_0002__LAW,R_0071_0016__REVELATION,Z_0071_5007___STAR_,R_0071_0014__FOUND] :
            ( r_0071_0001__Canon_r_0071_0002__law(R_0071_0001__CANON_R_0071_0002__LAW)
            & r_0071_0016__revelation(R_0071_0016__REVELATION)
            & z_0071_5007___star_(Z_0071_5007___STAR_)
            & r_0071_0014__found(R_0071_0014__FOUND)
            & has_arg0(R_0071_0014__FOUND,Z_0071_5007___STAR_)
            & has_r_0071_0015__in__nim(R_0071_0014__FOUND,R_0071_0016__REVELATION)
            & has_arg1(R_0071_0014__FOUND,R_0071_0001__CANON_R_0071_0002__LAW) )
      & has_conj2(R_0071_0010__BECAUSE,R_0071_0004__NOT)
      & ~ ? [R_0071_0001__CANON_R_0071_0002__LAW,R_0071_0006__DIVINE,R_0071_0009__SUCH,R_0071_0005__A_R_0071_0007__LAW,R_0071_0003__IS] :
            ( r_0071_0001__Canon_r_0071_0002__law(R_0071_0001__CANON_R_0071_0002__LAW)
            & r_0071_0006__divine(R_0071_0006__DIVINE)
            & r_0071_0009__such(R_0071_0009__SUCH)
            & r_0071_0003__is(R_0071_0003__IS)
            & has_prd(R_0071_0003__IS,R_0071_0005__A_R_0071_0007__LAW)
            & r_0071_0005__a_r_0071_0007__law(R_0071_0005__A_R_0071_0007__LAW)
            & has_r_0071_0008__as(R_0071_0005__A_R_0071_0007__LAW,R_0071_0009__SUCH)
            & has_attrib(R_0071_0005__A_R_0071_0007__LAW,R_0071_0006__DIVINE)
            & has_arg0(R_0071_0003__IS,R_0071_0001__CANON_R_0071_0002__LAW) ) ) ).