TSPC 22_a_factbook_2

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

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

fof(formula,axiom,
    ? [R_0022_0002__THE_R_0022_0003__TERM,R_0022_0004__IMPLIES,R_0022_0006__CUSTOMARY,R_0022_0007__LAW,R_0022_0014__A_R_0022_0015__COMMUNITY,R_0022_0011__THE_R_0022_0012__CUSTOMS,Z_000_22_A_FACTBOOK_2_2010_24,R_0022_0008__IS_R_0022_0009__BASED,R_0022_0001__AS] :
      ( r_0022_0002__the_r_0022_0003__term(R_0022_0002__THE_R_0022_0003__TERM)
      & r_0022_0006__customary(R_0022_0006__CUSTOMARY)
      & r_0022_0014__a_r_0022_0015__community(R_0022_0014__A_R_0022_0015__COMMUNITY)
      & z_000_22_a_factbook_2_2010_24(Z_000_22_A_FACTBOOK_2_2010_24)
      & r_0022_0001__As(R_0022_0001__AS)
      & has_conj2(R_0022_0001__AS,R_0022_0008__IS_R_0022_0009__BASED)
      & r_0022_0008__is_r_0022_0009__based(R_0022_0008__IS_R_0022_0009__BASED)
      & has_arg0(R_0022_0008__IS_R_0022_0009__BASED,Z_000_22_A_FACTBOOK_2_2010_24)
      & has_r_0022_0010__upon_clr31(R_0022_0008__IS_R_0022_0009__BASED,R_0022_0011__THE_R_0022_0012__CUSTOMS)
      & r_0022_0011__the_r_0022_0012__customs(R_0022_0011__THE_R_0022_0012__CUSTOMS)
      & has_r_0022_0013__of(R_0022_0011__THE_R_0022_0012__CUSTOMS,R_0022_0014__A_R_0022_0015__COMMUNITY)
      & has_arg1(R_0022_0008__IS_R_0022_0009__BASED,R_0022_0007__LAW)
      & r_0022_0007__law(R_0022_0007__LAW)
      & has_attrib16(R_0022_0007__LAW,R_0022_0006__CUSTOMARY)
      & has_conj1(R_0022_0001__AS,R_0022_0004__IMPLIES)
      & r_0022_0004__implies(R_0022_0004__IMPLIES)
      & has_arg0(R_0022_0004__IMPLIES,R_0022_0002__THE_R_0022_0003__TERM) ) ).

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