TSPC 22_a_factbook_2

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

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

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,attrib).
arc(r_0022_0008__is,r_0022_0009__based_r_0022_0010__upon,scope).
arc(r_0022_0009__based_r_0022_0010__upon,r_0022_0007__law,arg1).
arc(r_0022_0009__based_r_0022_0010__upon,r_0022_0011__the_r_0022_0012__customs,arg2).
arc(r_0022_0009__based_r_0022_0010__upon,z_0022_5009___star_,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_0022_5009___STAR_,R_0022_0008__IS_R_0022_0009__BASED_R_0022_0010__UPON,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_0022_5009___star_(Z_0022_5009___STAR_)
      & r_0022_0001__As(R_0022_0001__AS)
      & has_conj2(R_0022_0001__AS,R_0022_0008__IS_R_0022_0009__BASED_R_0022_0010__UPON)
      & r_0022_0008__is_r_0022_0009__based_r_0022_0010__upon(R_0022_0008__IS_R_0022_0009__BASED_R_0022_0010__UPON)
      & has_arg0(R_0022_0008__IS_R_0022_0009__BASED_R_0022_0010__UPON,Z_0022_5009___STAR_)
      & has_arg2(R_0022_0008__IS_R_0022_0009__BASED_R_0022_0010__UPON,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_0010__UPON,R_0022_0007__LAW)
      & r_0022_0007__law(R_0022_0007__LAW)
      & has_attrib(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) ) ).