arc(r_0071_0003__is_r_0071_0004__not, r_0071_0001__Canon_r_0071_0002__law, arg0).
arc(r_0071_0003__is_r_0071_0004__not, r_0071_0005__a_r_0071_0007__law, prd).
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_0003__is_r_0071_0004__not, scope).
arc(r_0071_0010__because, r_0071_0012__is, restriction).
arc(r_0071_0012__is, r_0071_0013__not_r_0071_0014__found, scope).
arc(r_0071_0013__not_r_0071_0014__found, r_0071_0001__Canon_r_0071_0002__law, arg1).
arc(r_0071_0013__not_r_0071_0014__found, r_0071_0016__revelation, r_0071_0015__in_clr45).
arc(r_0071_0013__not_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).

fof(formula,axiom,
    ? [R_0071_0001__CANON_R_0071_0002__LAW,R_0071_0006__DIVINE,R_0071_0009__SUCH,Z_000_71_A_FACTBOOK_2_2010_22,R_0071_0005__A_R_0071_0007__LAW,R_0071_0003__IS_R_0071_0004__NOT,R_0071_0016__REVELATION,Z_000_71_A_FACTBOOK_2_2010_36,R_0071_0012__IS_R_0071_0013__NOT_R_0071_0014__FOUND,R_0071_0010__BECAUSE] :
      ( 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_0016__revelation(R_0071_0016__REVELATION)
      & z_000_71_a_factbook_2_2010_36(Z_000_71_A_FACTBOOK_2_2010_36)
      & r_0071_0010__because(R_0071_0010__BECAUSE)
      & has_conj1(R_0071_0010__BECAUSE,R_0071_0012__IS_R_0071_0013__NOT_R_0071_0014__FOUND)
      & ~ ( has_arg0(R_0071_0012__IS_R_0071_0013__NOT_R_0071_0014__FOUND,Z_000_71_A_FACTBOOK_2_2010_36)
          & has_r_0071_0015__in_clr45(R_0071_0012__IS_R_0071_0013__NOT_R_0071_0014__FOUND,R_0071_0016__REVELATION)
          & has_arg1(R_0071_0012__IS_R_0071_0013__NOT_R_0071_0014__FOUND,R_0071_0001__CANON_R_0071_0002__LAW) )
      & has_conj2(R_0071_0010__BECAUSE,R_0071_0003__IS_R_0071_0004__NOT)
      & ~ ( has_prd(R_0071_0003__IS_R_0071_0004__NOT,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,Z_000_71_A_FACTBOOK_2_2010_22)
          & z_000_71_a_factbook_2_2010_22(Z_000_71_A_FACTBOOK_2_2010_22)
          & has_attrib23(Z_000_71_A_FACTBOOK_2_2010_22,R_0071_0009__SUCH)
          & has_attrib14(R_0071_0005__A_R_0071_0007__LAW,R_0071_0006__DIVINE)
          & has_arg0(R_0071_0003__IS_R_0071_0004__NOT,R_0071_0001__CANON_R_0071_0002__LAW) ) ) ).

( (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))