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 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 [conj2] r_0071_0012__is_r_0071_0013__not is not r_0071_0010__because->r_0071_0012__is_r_0071_0013__not [conj1] r_0071_0014__found found r_0071_0012__is_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] 
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_4 Canon n71_a_factbook_2_2010_6 law n71_a_factbook_2_2010_8 is n71_a_factbook_2_2010_10 not n71_a_factbook_2_2010_13 a n71_a_factbook_2_2010_16 divine n71_a_factbook_2_2010_18 law n71_a_factbook_2_2010_21 as n71_a_factbook_2_2010_25 such n71_a_factbook_2_2010_28 because n71_a_factbook_2_2010_32 it n71_a_factbook_2_2010_34 is n71_a_factbook_2_2010_37 * n71_a_factbook_2_2010_39 not n71_a_factbook_2_2010_41 found n71_a_factbook_2_2010_44 in n71_a_factbook_2_2010_47 revelation n71_a_factbook_2_2010_49 . n71_a_factbook_2_2010_1 IP-MAT n71_a_factbook_2_2010_2 NP-SBJ n71_a_factbook_2_2010_1->n71_a_factbook_2_2010_2 n71_a_factbook_2_2010_7 BEP;_Ln_ n71_a_factbook_2_2010_1->n71_a_factbook_2_2010_7 n71_a_factbook_2_2010_9 NEG n71_a_factbook_2_2010_1->n71_a_factbook_2_2010_9 n71_a_factbook_2_2010_11 NP-PRD n71_a_factbook_2_2010_1->n71_a_factbook_2_2010_11 n71_a_factbook_2_2010_26 PP-SCON n71_a_factbook_2_2010_1->n71_a_factbook_2_2010_26 n71_a_factbook_2_2010_48 PUNC n71_a_factbook_2_2010_1->n71_a_factbook_2_2010_48 n71_a_factbook_2_2010_3 N n71_a_factbook_2_2010_2->n71_a_factbook_2_2010_3 n71_a_factbook_2_2010_5 N n71_a_factbook_2_2010_2->n71_a_factbook_2_2010_5 n71_a_factbook_2_2010_3->n71_a_factbook_2_2010_4 n71_a_factbook_2_2010_5->n71_a_factbook_2_2010_6 n71_a_factbook_2_2010_7->n71_a_factbook_2_2010_8 n71_a_factbook_2_2010_9->n71_a_factbook_2_2010_10 n71_a_factbook_2_2010_12 D n71_a_factbook_2_2010_11->n71_a_factbook_2_2010_12 n71_a_factbook_2_2010_14 ADJP n71_a_factbook_2_2010_11->n71_a_factbook_2_2010_14 n71_a_factbook_2_2010_17 N n71_a_factbook_2_2010_11->n71_a_factbook_2_2010_17 n71_a_factbook_2_2010_19 PP n71_a_factbook_2_2010_11->n71_a_factbook_2_2010_19 n71_a_factbook_2_2010_12->n71_a_factbook_2_2010_13 n71_a_factbook_2_2010_15 ADJ n71_a_factbook_2_2010_14->n71_a_factbook_2_2010_15 n71_a_factbook_2_2010_15->n71_a_factbook_2_2010_16 n71_a_factbook_2_2010_17->n71_a_factbook_2_2010_18 n71_a_factbook_2_2010_20 P-ROLE n71_a_factbook_2_2010_19->n71_a_factbook_2_2010_20 n71_a_factbook_2_2010_22 NP n71_a_factbook_2_2010_19->n71_a_factbook_2_2010_22 n71_a_factbook_2_2010_20->n71_a_factbook_2_2010_21 n71_a_factbook_2_2010_23 ADJP n71_a_factbook_2_2010_22->n71_a_factbook_2_2010_23 n71_a_factbook_2_2010_24 ADJ;_such_ n71_a_factbook_2_2010_23->n71_a_factbook_2_2010_24 n71_a_factbook_2_2010_24->n71_a_factbook_2_2010_25 n71_a_factbook_2_2010_27 P-CONN n71_a_factbook_2_2010_26->n71_a_factbook_2_2010_27 n71_a_factbook_2_2010_29 IP-ADV n71_a_factbook_2_2010_26->n71_a_factbook_2_2010_29 n71_a_factbook_2_2010_27->n71_a_factbook_2_2010_28 n71_a_factbook_2_2010_30 NP-SBJ n71_a_factbook_2_2010_29->n71_a_factbook_2_2010_30 n71_a_factbook_2_2010_33 BEP;_cat_VePASS_ n71_a_factbook_2_2010_29->n71_a_factbook_2_2010_33 n71_a_factbook_2_2010_35 IP-PPL-CAT n71_a_factbook_2_2010_29->n71_a_factbook_2_2010_35 n71_a_factbook_2_2010_31 PRO n71_a_factbook_2_2010_30->n71_a_factbook_2_2010_31 n71_a_factbook_2_2010_31->n71_a_factbook_2_2010_32 n71_a_factbook_2_2010_33->n71_a_factbook_2_2010_34 n71_a_factbook_2_2010_36 NP-LGS n71_a_factbook_2_2010_35->n71_a_factbook_2_2010_36 n71_a_factbook_2_2010_38 NEG n71_a_factbook_2_2010_35->n71_a_factbook_2_2010_38 n71_a_factbook_2_2010_40 VVN;_Tn.pr_ n71_a_factbook_2_2010_35->n71_a_factbook_2_2010_40 n71_a_factbook_2_2010_42 PP-CLR n71_a_factbook_2_2010_35->n71_a_factbook_2_2010_42 n71_a_factbook_2_2010_36->n71_a_factbook_2_2010_37 n71_a_factbook_2_2010_38->n71_a_factbook_2_2010_39 n71_a_factbook_2_2010_40->n71_a_factbook_2_2010_41 n71_a_factbook_2_2010_43 P-ROLE n71_a_factbook_2_2010_42->n71_a_factbook_2_2010_43 n71_a_factbook_2_2010_45 NP n71_a_factbook_2_2010_42->n71_a_factbook_2_2010_45 n71_a_factbook_2_2010_43->n71_a_factbook_2_2010_44 n71_a_factbook_2_2010_46 N n71_a_factbook_2_2010_45->n71_a_factbook_2_2010_46 n71_a_factbook_2_2010_46->n71_a_factbook_2_2010_47 n71_a_factbook_2_2010_48->n71_a_factbook_2_2010_49 
( (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))