Context                Previous, Next                Top


22_a_factbook_2_2010
As the term implies, customary law is based upon the customs of a community.

%3 r_0022_0001__As As r_0022_0004__implies implies r_0022_0001__As->r_0022_0004__implies [restriction] r_0022_0008__is is r_0022_0001__As->r_0022_0008__is [scope] r_0022_0002__the_r_0022_0003__term the term r_0022_0004__implies->r_0022_0002__the_r_0022_0003__term [arg0] r_0022_0009__based based r_0022_0008__is->r_0022_0009__based [scope] r_0022_0007__law law r_0022_0006__customary customary r_0022_0007__law->r_0022_0006__customary [attrib] r_0022_0009__based->r_0022_0007__law [arg1] r_0022_0011__the_r_0022_0012__customs the customs r_0022_0009__based->r_0022_0011__the_r_0022_0012__customs upon [clr] z_000_22_a_factbook_2_2010_24 r_0022_0009__based->z_000_22_a_factbook_2_2010_24 [arg0] r_0022_0014__a_r_0022_0015__community a community r_0022_0011__the_r_0022_0012__customs->r_0022_0014__a_r_0022_0015__community of 
arc(r_0022_0001__As, r_0022_0004__implies, restriction).
arc(r_0022_0001__As, r_0022_0008__is, scope).
arc(r_0022_0004__implies, r_0022_0002__the_r_0022_0003__term, arg0).
arc(r_0022_0007__law, r_0022_0006__customary, attrib16).
arc(r_0022_0008__is, r_0022_0009__based, scope).
arc(r_0022_0009__based, r_0022_0007__law, arg1).
arc(r_0022_0009__based, r_0022_0011__the_r_0022_0012__customs, r_0022_0010__upon_clr31).
arc(r_0022_0009__based, z_000_22_a_factbook_2_2010_24, arg0).
arc(r_0022_0011__the_r_0022_0012__customs, r_0022_0014__a_r_0022_0015__community, r_0022_0013__of).


%3 r_0022_0011__the_r_0022_0012__customs the customs r_0022_0014__a_r_0022_0015__community a community r_0022_0011__the_r_0022_0012__customs->r_0022_0014__a_r_0022_0015__community of r_0022_0008__is_r_0022_0009__based is based r_0022_0008__is_r_0022_0009__based->r_0022_0011__the_r_0022_0012__customs upon [clr] z_000_22_a_factbook_2_2010_24 r_0022_0008__is_r_0022_0009__based->z_000_22_a_factbook_2_2010_24 [arg0] r_0022_0007__law law r_0022_0008__is_r_0022_0009__based->r_0022_0007__law [arg1] r_0022_0006__customary customary r_0022_0007__law->r_0022_0006__customary [attrib] r_0022_0004__implies implies r_0022_0002__the_r_0022_0003__term the term r_0022_0004__implies->r_0022_0002__the_r_0022_0003__term [arg0] r_0022_0001__As As r_0022_0001__As->r_0022_0008__is_r_0022_0009__based [conj2] r_0022_0001__As->r_0022_0004__implies [conj1] 
fof(formula,axiom,
    ? [R_22_1_AS,R_22_4_IMPLIES,R_22_2_THE_TERM,R_22_8_IS_BASED,Z_22_A_FACTBOOK_2_2010_24,R_22_7_LAW,R_22_6_CUSTOMARY,R_22_11_THE_CUSTOMS,R_22_14_A_COMMUNITY] :
      ( the_term(R_22_2_THE_TERM)
      & customary(R_22_6_CUSTOMARY)
      & a_community(R_22_14_A_COMMUNITY)
      & as(R_22_1_AS)
      & conj1(R_22_1_AS,R_22_4_IMPLIES)
      & implies(R_22_4_IMPLIES,R_22_2_THE_TERM)
      & conj2(R_22_1_AS,R_22_8_IS_BASED)
      & is_based(R_22_8_IS_BASED,Z_22_A_FACTBOOK_2_2010_24,R_22_7_LAW)
      & law(R_22_7_LAW)
      & attrib16(R_22_7_LAW,R_22_6_CUSTOMARY)
      & upon_clr31(R_22_8_IS_BASED,R_22_11_THE_CUSTOMS)
      & the_customs(R_22_11_THE_CUSTOMS)
      & of(R_22_11_THE_CUSTOMS,R_22_14_A_COMMUNITY) ) ).


n22_a_factbook_2_2010 n22_a_factbook_2_2010__1_1_1_1 As n22_a_factbook_2_2010__1_1_2_1_1_1 the n22_a_factbook_2_2010__1_1_2_1_2_1 term n22_a_factbook_2_2010__1_1_2_2_1 implies n22_a_factbook_2_2010__1_2_1 , n22_a_factbook_2_2010__1_3_1_1_1 customary n22_a_factbook_2_2010__1_3_2_1 law n22_a_factbook_2_2010__1_4_1 is n22_a_factbook_2_2010__1_5_1_1 * n22_a_factbook_2_2010__1_5_2_1 based n22_a_factbook_2_2010__1_5_3_1_1 upon n22_a_factbook_2_2010__1_5_3_2_1_1 the n22_a_factbook_2_2010__1_5_3_2_2_1 customs n22_a_factbook_2_2010__1_5_3_2_3_1_1 of n22_a_factbook_2_2010__1_5_3_2_3_2_1_1 a n22_a_factbook_2_2010__1_5_3_2_3_2_2_1 community n22_a_factbook_2_2010__1_6_1 . n22_a_factbook_2_2010__1 IP-MAT n22_a_factbook_2_2010__1_1 PP-SCON n22_a_factbook_2_2010__1->n22_a_factbook_2_2010__1_1 n22_a_factbook_2_2010__1_2 PUNC n22_a_factbook_2_2010__1->n22_a_factbook_2_2010__1_2 n22_a_factbook_2_2010__1_3 NP-SBJ n22_a_factbook_2_2010__1->n22_a_factbook_2_2010__1_3 n22_a_factbook_2_2010__1_4 BEP;_cat_VePASS_ n22_a_factbook_2_2010__1->n22_a_factbook_2_2010__1_4 n22_a_factbook_2_2010__1_5 IP-PPL-CAT n22_a_factbook_2_2010__1->n22_a_factbook_2_2010__1_5 n22_a_factbook_2_2010__1_6 PUNC n22_a_factbook_2_2010__1->n22_a_factbook_2_2010__1_6 n22_a_factbook_2_2010__1_1_1 P-CONN n22_a_factbook_2_2010__1_1->n22_a_factbook_2_2010__1_1_1 n22_a_factbook_2_2010__1_1_2 IP-ADV n22_a_factbook_2_2010__1_1->n22_a_factbook_2_2010__1_1_2 n22_a_factbook_2_2010__1_1_1->n22_a_factbook_2_2010__1_1_1_1 n22_a_factbook_2_2010__1_1_2_1 NP-SBJ n22_a_factbook_2_2010__1_1_2->n22_a_factbook_2_2010__1_1_2_1 n22_a_factbook_2_2010__1_1_2_2 VBP;_I_ n22_a_factbook_2_2010__1_1_2->n22_a_factbook_2_2010__1_1_2_2 n22_a_factbook_2_2010__1_1_2_1_1 D n22_a_factbook_2_2010__1_1_2_1->n22_a_factbook_2_2010__1_1_2_1_1 n22_a_factbook_2_2010__1_1_2_1_2 N n22_a_factbook_2_2010__1_1_2_1->n22_a_factbook_2_2010__1_1_2_1_2 n22_a_factbook_2_2010__1_1_2_1_1->n22_a_factbook_2_2010__1_1_2_1_1_1 n22_a_factbook_2_2010__1_1_2_1_2->n22_a_factbook_2_2010__1_1_2_1_2_1 n22_a_factbook_2_2010__1_1_2_2->n22_a_factbook_2_2010__1_1_2_2_1 n22_a_factbook_2_2010__1_2->n22_a_factbook_2_2010__1_2_1 n22_a_factbook_2_2010__1_3_1 ADJP n22_a_factbook_2_2010__1_3->n22_a_factbook_2_2010__1_3_1 n22_a_factbook_2_2010__1_3_2 N n22_a_factbook_2_2010__1_3->n22_a_factbook_2_2010__1_3_2 n22_a_factbook_2_2010__1_3_1_1 ADJ n22_a_factbook_2_2010__1_3_1->n22_a_factbook_2_2010__1_3_1_1 n22_a_factbook_2_2010__1_3_1_1->n22_a_factbook_2_2010__1_3_1_1_1 n22_a_factbook_2_2010__1_3_2->n22_a_factbook_2_2010__1_3_2_1 n22_a_factbook_2_2010__1_4->n22_a_factbook_2_2010__1_4_1 n22_a_factbook_2_2010__1_5_1 NP-LGS n22_a_factbook_2_2010__1_5->n22_a_factbook_2_2010__1_5_1 n22_a_factbook_2_2010__1_5_2 VVN;_Tn.pr_ n22_a_factbook_2_2010__1_5->n22_a_factbook_2_2010__1_5_2 n22_a_factbook_2_2010__1_5_3 PP-CLR n22_a_factbook_2_2010__1_5->n22_a_factbook_2_2010__1_5_3 n22_a_factbook_2_2010__1_5_1->n22_a_factbook_2_2010__1_5_1_1 n22_a_factbook_2_2010__1_5_2->n22_a_factbook_2_2010__1_5_2_1 n22_a_factbook_2_2010__1_5_3_1 P-ROLE n22_a_factbook_2_2010__1_5_3->n22_a_factbook_2_2010__1_5_3_1 n22_a_factbook_2_2010__1_5_3_2 NP n22_a_factbook_2_2010__1_5_3->n22_a_factbook_2_2010__1_5_3_2 n22_a_factbook_2_2010__1_5_3_1->n22_a_factbook_2_2010__1_5_3_1_1 n22_a_factbook_2_2010__1_5_3_2_1 D n22_a_factbook_2_2010__1_5_3_2->n22_a_factbook_2_2010__1_5_3_2_1 n22_a_factbook_2_2010__1_5_3_2_2 NS n22_a_factbook_2_2010__1_5_3_2->n22_a_factbook_2_2010__1_5_3_2_2 n22_a_factbook_2_2010__1_5_3_2_3 PP n22_a_factbook_2_2010__1_5_3_2->n22_a_factbook_2_2010__1_5_3_2_3 n22_a_factbook_2_2010__1_5_3_2_1->n22_a_factbook_2_2010__1_5_3_2_1_1 n22_a_factbook_2_2010__1_5_3_2_2->n22_a_factbook_2_2010__1_5_3_2_2_1 n22_a_factbook_2_2010__1_5_3_2_3_1 P-ROLE n22_a_factbook_2_2010__1_5_3_2_3->n22_a_factbook_2_2010__1_5_3_2_3_1 n22_a_factbook_2_2010__1_5_3_2_3_2 NP n22_a_factbook_2_2010__1_5_3_2_3->n22_a_factbook_2_2010__1_5_3_2_3_2 n22_a_factbook_2_2010__1_5_3_2_3_1->n22_a_factbook_2_2010__1_5_3_2_3_1_1 n22_a_factbook_2_2010__1_5_3_2_3_2_1 D n22_a_factbook_2_2010__1_5_3_2_3_2->n22_a_factbook_2_2010__1_5_3_2_3_2_1 n22_a_factbook_2_2010__1_5_3_2_3_2_2 N n22_a_factbook_2_2010__1_5_3_2_3_2->n22_a_factbook_2_2010__1_5_3_2_3_2_2 n22_a_factbook_2_2010__1_5_3_2_3_2_1->n22_a_factbook_2_2010__1_5_3_2_3_2_1_1 n22_a_factbook_2_2010__1_5_3_2_3_2_2->n22_a_factbook_2_2010__1_5_3_2_3_2_2_1 n22_a_factbook_2_2010__1_6->n22_a_factbook_2_2010__1_6_1 
( (IP-MAT (PP-SCON (P-CONN As;{as})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (N term;{term}))
                           (VBP;_I_ implies;{imply})))
          (PUNC ,)
          (NP-SBJ (ADJP (ADJ customary;{customary}))
                  (N law;{law}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.pr_ based;{base[upon]})
                      (PP-CLR (P-ROLE upon;{upon})
                              (NP (D the;{the})
                                  (NS customs;{custom})
                                  (PP (P-ROLE of;{of})
                                      (NP (D a;{a})
                                          (N community;{community}))))))
          (PUNC .))
  (ID 22_a_factbook_2_2010))