Context                Previous, Next                Top


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

%3 r_0071_0003__is is r_0071_0001__Canon_r_0071_0002__law Canon law r_0071_0003__is->r_0071_0001__Canon_r_0071_0002__law [arg0] r_0071_0005__a_r_0071_0007__law a law r_0071_0003__is->r_0071_0005__a_r_0071_0007__law [prd] r_0071_0006__divine divine r_0071_0005__a_r_0071_0007__law->r_0071_0006__divine [attrib] z_000_71_a_factbook_2_2010_22 r_0071_0005__a_r_0071_0007__law->z_000_71_a_factbook_2_2010_22 as r_0071_0004__not not r_0071_0004__not->r_0071_0003__is [keep_scope] r_0071_0009__such such z_000_71_a_factbook_2_2010_22->r_0071_0009__such [attrib] r_0071_0010__because because r_0071_0010__because->r_0071_0004__not [scope] r_0071_0012__is is r_0071_0010__because->r_0071_0012__is [restriction] r_0071_0013__not not r_0071_0012__is->r_0071_0013__not [scope] r_0071_0014__found found r_0071_0013__not->r_0071_0014__found [keep_scope] r_0071_0014__found->r_0071_0001__Canon_r_0071_0002__law [arg1] r_0071_0016__revelation revelation r_0071_0014__found->r_0071_0016__revelation in [clr] z_000_71_a_factbook_2_2010_36 r_0071_0014__found->z_000_71_a_factbook_2_2010_36 [arg0] 
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, attrib14).
arc(r_0071_0005__a_r_0071_0007__law, z_000_71_a_factbook_2_2010_22, 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_clr45).
arc(r_0071_0014__found, z_000_71_a_factbook_2_2010_36, arg0).
arc(z_000_71_a_factbook_2_2010_22, r_0071_0009__such, attrib23).


%3 z_000_71_a_factbook_2_2010_22 r_0071_0009__such such z_000_71_a_factbook_2_2010_22->r_0071_0009__such [attrib] r_0071_0014__found found z_000_71_a_factbook_2_2010_36 r_0071_0014__found->z_000_71_a_factbook_2_2010_36 [arg0] r_0071_0016__revelation revelation r_0071_0014__found->r_0071_0016__revelation in [clr] r_0071_0001__Canon_r_0071_0002__law Canon law r_0071_0014__found->r_0071_0001__Canon_r_0071_0002__law [arg1] r_0071_0012__is_r_0071_0013__not is not r_0071_0012__is_r_0071_0013__not->r_0071_0014__found [keep_scope] r_0071_0010__because because r_0071_0010__because->r_0071_0012__is_r_0071_0013__not [conj1] r_0071_0004__not not r_0071_0010__because->r_0071_0004__not [conj2] r_0071_0003__is is r_0071_0004__not->r_0071_0003__is [keep_scope] r_0071_0005__a_r_0071_0007__law a law r_0071_0005__a_r_0071_0007__law->z_000_71_a_factbook_2_2010_22 as r_0071_0006__divine divine r_0071_0005__a_r_0071_0007__law->r_0071_0006__divine [attrib] r_0071_0003__is->r_0071_0001__Canon_r_0071_0002__law [arg0] r_0071_0003__is->r_0071_0005__a_r_0071_0007__law [prd] 
fof(formula,axiom,
    ? [R_71_10_BECAUSE] :
      ( because(R_71_10_BECAUSE)
      & conj1(R_71_10_BECAUSE,R_71_12_IS_NOT)
      & ~ ? [R_71_14_FOUND,Z_71_A_FACTBOOK_2_2010_36,R_71_1_CANON_LAW,R_71_16_REVELATION] :
            ( canon_law(R_71_1_CANON_LAW)
            & revelation(R_71_16_REVELATION)
            & found(R_71_14_FOUND,Z_71_A_FACTBOOK_2_2010_36,R_71_1_CANON_LAW)
            & in_clr45(R_71_14_FOUND,R_71_16_REVELATION) )
      & conj2(R_71_10_BECAUSE,R_71_4_NOT)
      & ~ ? [R_71_3_IS,R_71_1_CANON_LAW,R_71_5_A_LAW,R_71_6_DIVINE,Z_71_A_FACTBOOK_2_2010_22,R_71_9_SUCH] :
            ( canon_law(R_71_1_CANON_LAW)
            & divine(R_71_6_DIVINE)
            & such(R_71_9_SUCH)
            & is(R_71_3_IS,R_71_1_CANON_LAW,R_71_5_A_LAW)
            & a_law(R_71_5_A_LAW)
            & attrib14(R_71_5_A_LAW,R_71_6_DIVINE)
            & as(R_71_5_A_LAW,Z_71_A_FACTBOOK_2_2010_22)
            & z_71_a_factbook_2_2010_22(Z_71_A_FACTBOOK_2_2010_22)
            & attrib23(Z_71_A_FACTBOOK_2_2010_22,R_71_9_SUCH) ) ) ).


n71_a_factbook_2_2010 n71_a_factbook_2_2010__1_1_1_1 Canon n71_a_factbook_2_2010__1_1_2_1 law n71_a_factbook_2_2010__1_2_1 is n71_a_factbook_2_2010__1_3_1 not n71_a_factbook_2_2010__1_4_1_1 a n71_a_factbook_2_2010__1_4_2_1_1 divine n71_a_factbook_2_2010__1_4_3_1 law n71_a_factbook_2_2010__1_4_4_1_1 as n71_a_factbook_2_2010__1_4_4_2_1_1_1 such n71_a_factbook_2_2010__1_5_1_1 because n71_a_factbook_2_2010__1_5_2_1_1_1 it n71_a_factbook_2_2010__1_5_2_2_1 is n71_a_factbook_2_2010__1_5_2_3_1_1 * n71_a_factbook_2_2010__1_5_2_3_2_1 not n71_a_factbook_2_2010__1_5_2_3_3_1 found n71_a_factbook_2_2010__1_5_2_3_4_1_1 in n71_a_factbook_2_2010__1_5_2_3_4_2_1_1 revelation n71_a_factbook_2_2010__1_6_1 . n71_a_factbook_2_2010__1 IP-MAT n71_a_factbook_2_2010__1_1 NP-SBJ n71_a_factbook_2_2010__1->n71_a_factbook_2_2010__1_1 n71_a_factbook_2_2010__1_2 BEP;_Ln_ n71_a_factbook_2_2010__1->n71_a_factbook_2_2010__1_2 n71_a_factbook_2_2010__1_3 NEG n71_a_factbook_2_2010__1->n71_a_factbook_2_2010__1_3 n71_a_factbook_2_2010__1_4 NP-PRD n71_a_factbook_2_2010__1->n71_a_factbook_2_2010__1_4 n71_a_factbook_2_2010__1_5 PP-SCON n71_a_factbook_2_2010__1->n71_a_factbook_2_2010__1_5 n71_a_factbook_2_2010__1_6 PUNC n71_a_factbook_2_2010__1->n71_a_factbook_2_2010__1_6 n71_a_factbook_2_2010__1_1_1 N n71_a_factbook_2_2010__1_1->n71_a_factbook_2_2010__1_1_1 n71_a_factbook_2_2010__1_1_2 N n71_a_factbook_2_2010__1_1->n71_a_factbook_2_2010__1_1_2 n71_a_factbook_2_2010__1_1_1->n71_a_factbook_2_2010__1_1_1_1 n71_a_factbook_2_2010__1_1_2->n71_a_factbook_2_2010__1_1_2_1 n71_a_factbook_2_2010__1_2->n71_a_factbook_2_2010__1_2_1 n71_a_factbook_2_2010__1_3->n71_a_factbook_2_2010__1_3_1 n71_a_factbook_2_2010__1_4_1 D n71_a_factbook_2_2010__1_4->n71_a_factbook_2_2010__1_4_1 n71_a_factbook_2_2010__1_4_2 ADJP n71_a_factbook_2_2010__1_4->n71_a_factbook_2_2010__1_4_2 n71_a_factbook_2_2010__1_4_3 N n71_a_factbook_2_2010__1_4->n71_a_factbook_2_2010__1_4_3 n71_a_factbook_2_2010__1_4_4 PP n71_a_factbook_2_2010__1_4->n71_a_factbook_2_2010__1_4_4 n71_a_factbook_2_2010__1_4_1->n71_a_factbook_2_2010__1_4_1_1 n71_a_factbook_2_2010__1_4_2_1 ADJ n71_a_factbook_2_2010__1_4_2->n71_a_factbook_2_2010__1_4_2_1 n71_a_factbook_2_2010__1_4_2_1->n71_a_factbook_2_2010__1_4_2_1_1 n71_a_factbook_2_2010__1_4_3->n71_a_factbook_2_2010__1_4_3_1 n71_a_factbook_2_2010__1_4_4_1 P-ROLE n71_a_factbook_2_2010__1_4_4->n71_a_factbook_2_2010__1_4_4_1 n71_a_factbook_2_2010__1_4_4_2 NP n71_a_factbook_2_2010__1_4_4->n71_a_factbook_2_2010__1_4_4_2 n71_a_factbook_2_2010__1_4_4_1->n71_a_factbook_2_2010__1_4_4_1_1 n71_a_factbook_2_2010__1_4_4_2_1 ADJP n71_a_factbook_2_2010__1_4_4_2->n71_a_factbook_2_2010__1_4_4_2_1 n71_a_factbook_2_2010__1_4_4_2_1_1 ADJ;_such_ n71_a_factbook_2_2010__1_4_4_2_1->n71_a_factbook_2_2010__1_4_4_2_1_1 n71_a_factbook_2_2010__1_4_4_2_1_1->n71_a_factbook_2_2010__1_4_4_2_1_1_1 n71_a_factbook_2_2010__1_5_1 P-CONN n71_a_factbook_2_2010__1_5->n71_a_factbook_2_2010__1_5_1 n71_a_factbook_2_2010__1_5_2 IP-ADV n71_a_factbook_2_2010__1_5->n71_a_factbook_2_2010__1_5_2 n71_a_factbook_2_2010__1_5_1->n71_a_factbook_2_2010__1_5_1_1 n71_a_factbook_2_2010__1_5_2_1 NP-SBJ n71_a_factbook_2_2010__1_5_2->n71_a_factbook_2_2010__1_5_2_1 n71_a_factbook_2_2010__1_5_2_2 BEP;_cat_VePASS_ n71_a_factbook_2_2010__1_5_2->n71_a_factbook_2_2010__1_5_2_2 n71_a_factbook_2_2010__1_5_2_3 IP-PPL-CAT n71_a_factbook_2_2010__1_5_2->n71_a_factbook_2_2010__1_5_2_3 n71_a_factbook_2_2010__1_5_2_1_1 PRO n71_a_factbook_2_2010__1_5_2_1->n71_a_factbook_2_2010__1_5_2_1_1 n71_a_factbook_2_2010__1_5_2_1_1->n71_a_factbook_2_2010__1_5_2_1_1_1 n71_a_factbook_2_2010__1_5_2_2->n71_a_factbook_2_2010__1_5_2_2_1 n71_a_factbook_2_2010__1_5_2_3_1 NP-LGS n71_a_factbook_2_2010__1_5_2_3->n71_a_factbook_2_2010__1_5_2_3_1 n71_a_factbook_2_2010__1_5_2_3_2 NEG n71_a_factbook_2_2010__1_5_2_3->n71_a_factbook_2_2010__1_5_2_3_2 n71_a_factbook_2_2010__1_5_2_3_3 VVN;_Tn.pr_ n71_a_factbook_2_2010__1_5_2_3->n71_a_factbook_2_2010__1_5_2_3_3 n71_a_factbook_2_2010__1_5_2_3_4 PP-CLR n71_a_factbook_2_2010__1_5_2_3->n71_a_factbook_2_2010__1_5_2_3_4 n71_a_factbook_2_2010__1_5_2_3_1->n71_a_factbook_2_2010__1_5_2_3_1_1 n71_a_factbook_2_2010__1_5_2_3_2->n71_a_factbook_2_2010__1_5_2_3_2_1 n71_a_factbook_2_2010__1_5_2_3_3->n71_a_factbook_2_2010__1_5_2_3_3_1 n71_a_factbook_2_2010__1_5_2_3_4_1 P-ROLE n71_a_factbook_2_2010__1_5_2_3_4->n71_a_factbook_2_2010__1_5_2_3_4_1 n71_a_factbook_2_2010__1_5_2_3_4_2 NP n71_a_factbook_2_2010__1_5_2_3_4->n71_a_factbook_2_2010__1_5_2_3_4_2 n71_a_factbook_2_2010__1_5_2_3_4_1->n71_a_factbook_2_2010__1_5_2_3_4_1_1 n71_a_factbook_2_2010__1_5_2_3_4_2_1 N n71_a_factbook_2_2010__1_5_2_3_4_2->n71_a_factbook_2_2010__1_5_2_3_4_2_1 n71_a_factbook_2_2010__1_5_2_3_4_2_1->n71_a_factbook_2_2010__1_5_2_3_4_2_1_1 n71_a_factbook_2_2010__1_6->n71_a_factbook_2_2010__1_6_1 
( (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})
                      (NP (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;_Tn.pr_ found;{find[in]})
                                       (PP-CLR (P-ROLE in;{in})
                                               (NP (N revelation;{revelation}))))))
          (PUNC .))
  (ID 71_a_factbook_2_2010))