Context                Previous, Next                Top


66_a_factbook_2_2010
Implied as the basis of religious law is the concept of unalterability, because the word of God can not be amended or legislated against by judges or governments.

%3 r_0066_0001__Implied Implied r_0066_0003__the_r_0066_0004__basis the basis r_0066_0001__Implied->r_0066_0003__the_r_0066_0004__basis [prd] r_0066_0009__the_r_0066_0010__concept the concept r_0066_0001__Implied->r_0066_0009__the_r_0066_0010__concept [arg1] z_000_66_a_factbook_2_2010_4 r_0066_0001__Implied->z_000_66_a_factbook_2_2010_4 [arg0] r_0066_0007__law law r_0066_0003__the_r_0066_0004__basis->r_0066_0007__law of r_0066_0012__unalterability unalterability r_0066_0009__the_r_0066_0010__concept->r_0066_0012__unalterability of r_0066_0006__religious religious r_0066_0007__law->r_0066_0006__religious [attrib] r_0066_0008__is is r_0066_0008__is->r_0066_0001__Implied [scope] r_0066_0014__because because r_0066_0014__because->r_0066_0008__is [scope] r_0066_0020__not not r_0066_0014__because->r_0066_0020__not [restriction] r_0066_0019__can can r_0066_0020__not->r_0066_0019__can [keep_scope] r_0066_0015__the_r_0066_0016__word the word r_0066_0018__God God r_0066_0015__the_r_0066_0016__word->r_0066_0018__God of r_0066_0021__be be r_0066_0019__can->r_0066_0021__be [scope] r_0066_0023__or or r_0066_0021__be->r_0066_0023__or [scope] r_0066_0022__amended amended r_0066_0023__or->r_0066_0022__amended [conj1] r_0066_0024__legislated_r_0066_0025__against legislated against r_0066_0023__or->r_0066_0024__legislated_r_0066_0025__against [conj2] r_0066_0022__amended->r_0066_0015__the_r_0066_0016__word [arg1] r_0066_0028__or or r_0066_0022__amended->r_0066_0028__or [arg0] r_0066_0027__judges judges r_0066_0028__or->r_0066_0027__judges [conj1] r_0066_0029__governments governments r_0066_0028__or->r_0066_0029__governments [conj2] r_0066_0024__legislated_r_0066_0025__against->r_0066_0015__the_r_0066_0016__word [arg1] r_0066_0024__legislated_r_0066_0025__against->r_0066_0028__or [arg0] 
arc(r_0066_0001__Implied, r_0066_0003__the_r_0066_0004__basis, prd).
arc(r_0066_0001__Implied, r_0066_0009__the_r_0066_0010__concept, arg1).
arc(r_0066_0001__Implied, z_000_66_a_factbook_2_2010_4, arg0).
arc(r_0066_0003__the_r_0066_0004__basis, r_0066_0007__law, r_0066_0005__of).
arc(r_0066_0007__law, r_0066_0006__religious, attrib20).
arc(r_0066_0008__is, r_0066_0001__Implied, scope).
arc(r_0066_0009__the_r_0066_0010__concept, r_0066_0012__unalterability, r_0066_0011__of).
arc(r_0066_0014__because, r_0066_0008__is, scope).
arc(r_0066_0014__because, r_0066_0020__not, restriction).
arc(r_0066_0015__the_r_0066_0016__word, r_0066_0018__God, r_0066_0017__of).
arc(r_0066_0019__can, r_0066_0021__be, scope).
arc(r_0066_0020__not, r_0066_0019__can, keep_scope).
arc(r_0066_0021__be, r_0066_0023__or, scope).
arc(r_0066_0022__amended, r_0066_0015__the_r_0066_0016__word, arg1).
arc(r_0066_0022__amended, r_0066_0028__or, arg0).
arc(r_0066_0023__or, r_0066_0022__amended, conj1).
arc(r_0066_0023__or, r_0066_0024__legislated_r_0066_0025__against, conj2).
arc(r_0066_0024__legislated_r_0066_0025__against, r_0066_0015__the_r_0066_0016__word, arg1).
arc(r_0066_0024__legislated_r_0066_0025__against, r_0066_0028__or, arg0).
arc(r_0066_0028__or, r_0066_0027__judges, conj1).
arc(r_0066_0028__or, r_0066_0029__governments, conj2).


%3 r_0066_0003__the_r_0066_0004__basis the basis r_0066_0007__law law r_0066_0003__the_r_0066_0004__basis->r_0066_0007__law of r_0066_0006__religious religious r_0066_0007__law->r_0066_0006__religious [attrib] r_0066_0008__is_r_0066_0001__Implied is Implied r_0066_0008__is_r_0066_0001__Implied->r_0066_0003__the_r_0066_0004__basis [prd] r_0066_0009__the_r_0066_0010__concept the concept r_0066_0008__is_r_0066_0001__Implied->r_0066_0009__the_r_0066_0010__concept [arg1] z_000_66_a_factbook_2_2010_4 r_0066_0008__is_r_0066_0001__Implied->z_000_66_a_factbook_2_2010_4 [arg0] r_0066_0012__unalterability unalterability r_0066_0009__the_r_0066_0010__concept->r_0066_0012__unalterability of r_0066_0014__because because r_0066_0014__because->r_0066_0008__is_r_0066_0001__Implied [conj2] r_0066_0020__not not r_0066_0014__because->r_0066_0020__not [conj1] r_0066_0019__can_r_0066_0021__be can be r_0066_0020__not->r_0066_0019__can_r_0066_0021__be [keep_scope] r_0066_0015__the_r_0066_0016__word the word r_0066_0018__God God r_0066_0015__the_r_0066_0016__word->r_0066_0018__God of r_0066_0023__or or r_0066_0019__can_r_0066_0021__be->r_0066_0023__or [keep_scope] r_0066_0022__amended amended r_0066_0023__or->r_0066_0022__amended [conj1] r_0066_0024__legislated_r_0066_0025__against legislated against r_0066_0023__or->r_0066_0024__legislated_r_0066_0025__against [conj2] r_0066_0022__amended->r_0066_0015__the_r_0066_0016__word [arg1] r_0066_0028__or or r_0066_0022__amended->r_0066_0028__or [arg0] r_0066_0027__judges judges r_0066_0028__or->r_0066_0027__judges [conj1] r_0066_0029__governments governments r_0066_0028__or->r_0066_0029__governments [conj2] r_0066_0024__legislated_r_0066_0025__against->r_0066_0015__the_r_0066_0016__word [arg1] r_0066_0024__legislated_r_0066_0025__against->r_0066_0028__or [arg0] 
fof(formula,axiom,
    ? [R_66_14_BECAUSE,R_66_8_IS_IMPLIED,Z_66_A_FACTBOOK_2_2010_4,R_66_9_THE_CONCEPT,R_66_12_UNALTERABILITY,R_66_3_THE_BASIS,R_66_7_LAW,R_66_6_RELIGIOUS] :
      ( unalterability(R_66_12_UNALTERABILITY)
      & religious(R_66_6_RELIGIOUS)
      & because(R_66_14_BECAUSE)
      & conj1(R_66_14_BECAUSE,R_66_20_NOT)
      & ~ ~ ? [R_66_23_OR,R_66_22_AMENDED,R_66_24_LEGISLATED_AGAINST,R_66_28_OR,R_66_27_JUDGES,R_66_29_GOVERNMENTS,R_66_15_THE_WORD,R_66_18_GOD] :
              ( judges(R_66_27_JUDGES)
              & governments(R_66_29_GOVERNMENTS)
              & god(R_66_18_GOD)
              & or(R_66_23_OR)
              & conj1(R_66_23_OR,R_66_22_AMENDED)
              & amended(R_66_22_AMENDED,R_66_28_OR,R_66_15_THE_WORD)
              & or(R_66_28_OR)
              & conj1(R_66_28_OR,R_66_27_JUDGES)
              & conj2(R_66_28_OR,R_66_29_GOVERNMENTS)
              & the_word(R_66_15_THE_WORD)
              & of(R_66_15_THE_WORD,R_66_18_GOD)
              & conj2(R_66_23_OR,R_66_24_LEGISLATED_AGAINST)
              & legislated_against(R_66_24_LEGISLATED_AGAINST,R_66_28_OR,R_66_15_THE_WORD) )
      & conj2(R_66_14_BECAUSE,R_66_8_IS_IMPLIED)
      & is_Implied(R_66_8_IS_IMPLIED,Z_66_A_FACTBOOK_2_2010_4,R_66_9_THE_CONCEPT,R_66_3_THE_BASIS)
      & the_concept(R_66_9_THE_CONCEPT)
      & of(R_66_9_THE_CONCEPT,R_66_12_UNALTERABILITY)
      & the_basis(R_66_3_THE_BASIS)
      & of(R_66_3_THE_BASIS,R_66_7_LAW)
      & law(R_66_7_LAW)
      & attrib20(R_66_7_LAW,R_66_6_RELIGIOUS) ) ).


n66_a_factbook_2_2010 n66_a_factbook_2_2010_7 Implied n66_a_factbook_2_2010_10 as n66_a_factbook_2_2010_13 the n66_a_factbook_2_2010_15 basis n66_a_factbook_2_2010_18 of n66_a_factbook_2_2010_22 religious n66_a_factbook_2_2010_24 law n66_a_factbook_2_2010_26 is n66_a_factbook_2_2010_29 the n66_a_factbook_2_2010_31 concept n66_a_factbook_2_2010_34 of n66_a_factbook_2_2010_37 unalterability n66_a_factbook_2_2010_39 , n66_a_factbook_2_2010_42 because n66_a_factbook_2_2010_46 the n66_a_factbook_2_2010_48 word n66_a_factbook_2_2010_51 of n66_a_factbook_2_2010_54 God n66_a_factbook_2_2010_56 can n66_a_factbook_2_2010_58 not n66_a_factbook_2_2010_61 be n66_a_factbook_2_2010_66 amended n66_a_factbook_2_2010_69 or n66_a_factbook_2_2010_72 legislated n66_a_factbook_2_2010_74 against n66_a_factbook_2_2010_77 by n66_a_factbook_2_2010_82 judges n66_a_factbook_2_2010_85 or n66_a_factbook_2_2010_88 governments n66_a_factbook_2_2010_90 . n66_a_factbook_2_2010_1 IP-MAT n66_a_factbook_2_2010_2 ILYR n66_a_factbook_2_2010_1->n66_a_factbook_2_2010_2 n66_a_factbook_2_2010_27 NP-SBJ n66_a_factbook_2_2010_1->n66_a_factbook_2_2010_27 n66_a_factbook_2_2010_38 PUNC n66_a_factbook_2_2010_1->n66_a_factbook_2_2010_38 n66_a_factbook_2_2010_40 PP-SCON n66_a_factbook_2_2010_1->n66_a_factbook_2_2010_40 n66_a_factbook_2_2010_89 PUNC n66_a_factbook_2_2010_1->n66_a_factbook_2_2010_89 n66_a_factbook_2_2010_3 IP-PPL-CAT n66_a_factbook_2_2010_2->n66_a_factbook_2_2010_3 n66_a_factbook_2_2010_25 BEP;_cat_VePASS_ n66_a_factbook_2_2010_2->n66_a_factbook_2_2010_25 n66_a_factbook_2_2010_4 NP-LGS n66_a_factbook_2_2010_3->n66_a_factbook_2_2010_4 n66_a_factbook_2_2010_6 VVN;__ n66_a_factbook_2_2010_3->n66_a_factbook_2_2010_6 n66_a_factbook_2_2010_8 PP-PRD n66_a_factbook_2_2010_3->n66_a_factbook_2_2010_8 n66_a_factbook_2_2010_5 * n66_a_factbook_2_2010_4->n66_a_factbook_2_2010_5 n66_a_factbook_2_2010_6->n66_a_factbook_2_2010_7 n66_a_factbook_2_2010_9 P-ROLE n66_a_factbook_2_2010_8->n66_a_factbook_2_2010_9 n66_a_factbook_2_2010_11 NP n66_a_factbook_2_2010_8->n66_a_factbook_2_2010_11 n66_a_factbook_2_2010_9->n66_a_factbook_2_2010_10 n66_a_factbook_2_2010_12 D n66_a_factbook_2_2010_11->n66_a_factbook_2_2010_12 n66_a_factbook_2_2010_14 N n66_a_factbook_2_2010_11->n66_a_factbook_2_2010_14 n66_a_factbook_2_2010_16 PP n66_a_factbook_2_2010_11->n66_a_factbook_2_2010_16 n66_a_factbook_2_2010_12->n66_a_factbook_2_2010_13 n66_a_factbook_2_2010_14->n66_a_factbook_2_2010_15 n66_a_factbook_2_2010_17 P-ROLE n66_a_factbook_2_2010_16->n66_a_factbook_2_2010_17 n66_a_factbook_2_2010_19 NP n66_a_factbook_2_2010_16->n66_a_factbook_2_2010_19 n66_a_factbook_2_2010_17->n66_a_factbook_2_2010_18 n66_a_factbook_2_2010_20 ADJP n66_a_factbook_2_2010_19->n66_a_factbook_2_2010_20 n66_a_factbook_2_2010_23 N n66_a_factbook_2_2010_19->n66_a_factbook_2_2010_23 n66_a_factbook_2_2010_21 ADJ n66_a_factbook_2_2010_20->n66_a_factbook_2_2010_21 n66_a_factbook_2_2010_21->n66_a_factbook_2_2010_22 n66_a_factbook_2_2010_23->n66_a_factbook_2_2010_24 n66_a_factbook_2_2010_25->n66_a_factbook_2_2010_26 n66_a_factbook_2_2010_28 D n66_a_factbook_2_2010_27->n66_a_factbook_2_2010_28 n66_a_factbook_2_2010_30 N n66_a_factbook_2_2010_27->n66_a_factbook_2_2010_30 n66_a_factbook_2_2010_32 PP n66_a_factbook_2_2010_27->n66_a_factbook_2_2010_32 n66_a_factbook_2_2010_28->n66_a_factbook_2_2010_29 n66_a_factbook_2_2010_30->n66_a_factbook_2_2010_31 n66_a_factbook_2_2010_33 P-ROLE n66_a_factbook_2_2010_32->n66_a_factbook_2_2010_33 n66_a_factbook_2_2010_35 NP n66_a_factbook_2_2010_32->n66_a_factbook_2_2010_35 n66_a_factbook_2_2010_33->n66_a_factbook_2_2010_34 n66_a_factbook_2_2010_36 N n66_a_factbook_2_2010_35->n66_a_factbook_2_2010_36 n66_a_factbook_2_2010_36->n66_a_factbook_2_2010_37 n66_a_factbook_2_2010_38->n66_a_factbook_2_2010_39 n66_a_factbook_2_2010_41 P-CONN n66_a_factbook_2_2010_40->n66_a_factbook_2_2010_41 n66_a_factbook_2_2010_43 IP-ADV n66_a_factbook_2_2010_40->n66_a_factbook_2_2010_43 n66_a_factbook_2_2010_41->n66_a_factbook_2_2010_42 n66_a_factbook_2_2010_44 NP-SBJ n66_a_factbook_2_2010_43->n66_a_factbook_2_2010_44 n66_a_factbook_2_2010_55 MD;_cat_Vi_ n66_a_factbook_2_2010_43->n66_a_factbook_2_2010_55 n66_a_factbook_2_2010_57 NEG n66_a_factbook_2_2010_43->n66_a_factbook_2_2010_57 n66_a_factbook_2_2010_59 IP-INF-CAT n66_a_factbook_2_2010_43->n66_a_factbook_2_2010_59 n66_a_factbook_2_2010_45 D n66_a_factbook_2_2010_44->n66_a_factbook_2_2010_45 n66_a_factbook_2_2010_47 N n66_a_factbook_2_2010_44->n66_a_factbook_2_2010_47 n66_a_factbook_2_2010_49 PP n66_a_factbook_2_2010_44->n66_a_factbook_2_2010_49 n66_a_factbook_2_2010_45->n66_a_factbook_2_2010_46 n66_a_factbook_2_2010_47->n66_a_factbook_2_2010_48 n66_a_factbook_2_2010_50 P-ROLE n66_a_factbook_2_2010_49->n66_a_factbook_2_2010_50 n66_a_factbook_2_2010_52 NP n66_a_factbook_2_2010_49->n66_a_factbook_2_2010_52 n66_a_factbook_2_2010_50->n66_a_factbook_2_2010_51 n66_a_factbook_2_2010_53 NPR n66_a_factbook_2_2010_52->n66_a_factbook_2_2010_53 n66_a_factbook_2_2010_53->n66_a_factbook_2_2010_54 n66_a_factbook_2_2010_55->n66_a_factbook_2_2010_56 n66_a_factbook_2_2010_57->n66_a_factbook_2_2010_58 n66_a_factbook_2_2010_60 BE;_cat_VePASS_ n66_a_factbook_2_2010_59->n66_a_factbook_2_2010_60 n66_a_factbook_2_2010_62 IP-PPL-CAT n66_a_factbook_2_2010_59->n66_a_factbook_2_2010_62 n66_a_factbook_2_2010_60->n66_a_factbook_2_2010_61 n66_a_factbook_2_2010_63 ILYR n66_a_factbook_2_2010_62->n66_a_factbook_2_2010_63 n66_a_factbook_2_2010_75 PP-LGS n66_a_factbook_2_2010_62->n66_a_factbook_2_2010_75 n66_a_factbook_2_2010_64 ILYR n66_a_factbook_2_2010_63->n66_a_factbook_2_2010_64 n66_a_factbook_2_2010_67 CONJP n66_a_factbook_2_2010_63->n66_a_factbook_2_2010_67 n66_a_factbook_2_2010_65 VVN;__ n66_a_factbook_2_2010_64->n66_a_factbook_2_2010_65 n66_a_factbook_2_2010_65->n66_a_factbook_2_2010_66 n66_a_factbook_2_2010_68 CONJ n66_a_factbook_2_2010_67->n66_a_factbook_2_2010_68 n66_a_factbook_2_2010_70 ILYR n66_a_factbook_2_2010_67->n66_a_factbook_2_2010_70 n66_a_factbook_2_2010_68->n66_a_factbook_2_2010_69 n66_a_factbook_2_2010_71 VVN;__ n66_a_factbook_2_2010_70->n66_a_factbook_2_2010_71 n66_a_factbook_2_2010_73 RP n66_a_factbook_2_2010_70->n66_a_factbook_2_2010_73 n66_a_factbook_2_2010_71->n66_a_factbook_2_2010_72 n66_a_factbook_2_2010_73->n66_a_factbook_2_2010_74 n66_a_factbook_2_2010_76 P-ROLE;_lgs_ n66_a_factbook_2_2010_75->n66_a_factbook_2_2010_76 n66_a_factbook_2_2010_78 NP n66_a_factbook_2_2010_75->n66_a_factbook_2_2010_78 n66_a_factbook_2_2010_76->n66_a_factbook_2_2010_77 n66_a_factbook_2_2010_79 NLYR n66_a_factbook_2_2010_78->n66_a_factbook_2_2010_79 n66_a_factbook_2_2010_80 NLYR n66_a_factbook_2_2010_79->n66_a_factbook_2_2010_80 n66_a_factbook_2_2010_83 CONJP n66_a_factbook_2_2010_79->n66_a_factbook_2_2010_83 n66_a_factbook_2_2010_81 NS n66_a_factbook_2_2010_80->n66_a_factbook_2_2010_81 n66_a_factbook_2_2010_81->n66_a_factbook_2_2010_82 n66_a_factbook_2_2010_84 CONJ n66_a_factbook_2_2010_83->n66_a_factbook_2_2010_84 n66_a_factbook_2_2010_86 NLYR n66_a_factbook_2_2010_83->n66_a_factbook_2_2010_86 n66_a_factbook_2_2010_84->n66_a_factbook_2_2010_85 n66_a_factbook_2_2010_87 NS n66_a_factbook_2_2010_86->n66_a_factbook_2_2010_87 n66_a_factbook_2_2010_87->n66_a_factbook_2_2010_88 n66_a_factbook_2_2010_89->n66_a_factbook_2_2010_90 
( (IP-MAT (ILYR (IP-PPL-CAT (NP-LGS *)
                            (VVN;__ Implied;{imply})
                            (PP-PRD (P-ROLE as;{as})
                                    (NP (D the;{the})
                                        (N basis;{basis})
                                        (PP (P-ROLE of;{of})
                                            (NP (ADJP (ADJ religious;{religious}))
                                                (N law;{law}))))))
                (BEP;_cat_VePASS_ is;{be}))
          (NP-SBJ (D the;{the})
                  (N concept;{concept})
                  (PP (P-ROLE of;{of})
                      (NP (N unalterability;{unalterability}))))
          (PUNC ,)
          (PP-SCON (P-CONN because;{because})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (N word;{word})
                                   (PP (P-ROLE of;{of})
                                       (NP (NPR God;{God}))))
                           (MD;_cat_Vi_ can;{can})
                           (NEG not;{not})
                           (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                       (IP-PPL-CAT (ILYR (ILYR (VVN;__ amended;{amend}))
                                                         (CONJP (CONJ or;{or})
                                                                (ILYR (VVN;__ legislated;{legislate})
                                                                      (RP against;{against}))))
                                                   (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                           (NP (NLYR (NLYR (NS judges;{judge}))
                                                                     (CONJP (CONJ or;{or})
                                                                            (NLYR (NS governments;{government}))))))))))
          (PUNC .))
  (ID 66_a_factbook_2_2010))