TSPC 25_a_factbook_2

25_a_factbook_2_2010
A number of African states practiced customary law many centuries prior to colonial influences.

( (IP-MAT (NP-SBJ (D A;{a})
                  (N number;{number})
                  (PP (P-ROLE of;{of})
                      (NP (ADJP (ADJ African;{african}))
                          (NS states;{state}))))
          (VBD;_Tn_ practiced;{practice})
          (NP-OB1 (ADJP (ADJ customary;{customary}))
                  (N law;{law}))
          (NP-NIM (ADJP (ADJ many;{many}))
                  (NS centuries;{century})
                  (PP (ADVP-NIM (ADV prior;{prior}))
                      (P-ROLE to;{to})
                      (NP (N colonial;{colonial})
                          (NS influences;{influence}))))
          (PUNC .))
  (ID 25_a_factbook_2_2010))

arc(r_0025_0001__A_r_0025_0002__number,r_0025_0005__states,r_0025_0003__of).
arc(r_0025_0005__states,r_0025_0004__African,attrib).
arc(r_0025_0006__practiced,r_0025_0001__A_r_0025_0002__number,arg0).
arc(r_0025_0006__practiced,r_0025_0008__law,arg1).
arc(r_0025_0006__practiced,r_0025_0010__centuries,nim).
arc(r_0025_0008__law,r_0025_0007__customary,attrib).
arc(r_0025_0010__centuries,r_0025_0009__many,attrib).
arc(r_0025_0010__centuries,r_0025_0013__colonial_r_0025_0014__influences,r_0025_0011__prior_r_0025_0012__to).

fof(formula,axiom,
    ? [R_0025_0004__AFRICAN,R_0025_0005__STATES,R_0025_0001__A_R_0025_0002__NUMBER,R_0025_0007__CUSTOMARY,R_0025_0008__LAW,R_0025_0009__MANY,R_0025_0013__COLONIAL_R_0025_0014__INFLUENCES,R_0025_0010__CENTURIES,R_0025_0006__PRACTICED] :
      ( r_0025_0004__African(R_0025_0004__AFRICAN)
      & r_0025_0007__customary(R_0025_0007__CUSTOMARY)
      & r_0025_0009__many(R_0025_0009__MANY)
      & r_0025_0013__colonial_r_0025_0014__influences(R_0025_0013__COLONIAL_R_0025_0014__INFLUENCES)
      & r_0025_0006__practiced(R_0025_0006__PRACTICED)
      & has_nim(R_0025_0006__PRACTICED,R_0025_0010__CENTURIES)
      & r_0025_0010__centuries(R_0025_0010__CENTURIES)
      & has_r_0025_0011__prior_r_0025_0012__to(R_0025_0010__CENTURIES,R_0025_0013__COLONIAL_R_0025_0014__INFLUENCES)
      & has_attrib(R_0025_0010__CENTURIES,R_0025_0009__MANY)
      & has_arg1(R_0025_0006__PRACTICED,R_0025_0008__LAW)
      & r_0025_0008__law(R_0025_0008__LAW)
      & has_attrib(R_0025_0008__LAW,R_0025_0007__CUSTOMARY)
      & has_arg0(R_0025_0006__PRACTICED,R_0025_0001__A_R_0025_0002__NUMBER)
      & r_0025_0001__A_r_0025_0002__number(R_0025_0001__A_R_0025_0002__NUMBER)
      & has_r_0025_0003__of(R_0025_0001__A_R_0025_0002__NUMBER,R_0025_0005__STATES)
      & r_0025_0005__states(R_0025_0005__STATES)
      & has_attrib(R_0025_0005__STATES,R_0025_0004__AFRICAN) ) ).