TSPC 18_a_factbook_2

18_a_factbook_2_2010
Customary Law - A type of legal system that serves as the basis of, or has influenced, the present-day laws in approximately 40 countries - mostly in Africa, but some in the Pacific islands, Europe, and the Near East.

( (FRAG (NP (ADJP (ADJ Customary;{customary}))
            (N Law;{law})
            (PUNC <hyphen>)
            (PRN (NP (D A;{a})
                     (N type;{type})
                     (PP (P-ROLE of;{of})
                         (NP (ADJP (ADJ legal;{legal}))
                             (N system;{system})))
                     (IP-REL (C that;{that})
                             (NP-SBJ *T*)
                             (ILYR (ILYR (VBP;_Ipr_ serves;{serve[as]})
                                         (PP-CLR (P-ROLE as;{as})
                                                 (NP (D the;{the})
                                                     (N basis;{basis})
                                                     (PP (P-ROLE of;{of})
                                                         (NP *ICH*-148)))))
                                   (PUNC ,)
                                   (CONJP (CONJ or;{or})
                                          (ILYR (HVP;_cat_Ve_ has;{have})
                                                (IP-PPL-CAT (VVN;_Tn_ influenced;{influence})
                                                            (NP-OB1 *ICH*-148)))))
                             (PUNC ,)
                             (NP-RNR-148 (D the;{the})
                                         (ADJP (ADJ present_<hyphen>_day;{present_day}))
                                         (NS laws;{law})
                                         (PP (P-ROLE in;{in})
                                             (NP (ADVP (ADV approximately;{approximately}))
                                                 (NUM 40)
                                                 (NS countries;{country})
                                                 (PUNC <hyphen>)
                                                 (PRN (NP (NLYR (NLYR (PP (ADVP-NIM (ADV mostly;{mostly}))
                                                                          (P-ROLE in;{in})
                                                                          (NP (NPR Africa;{Africa}))))
                                                                (PUNC ,)
                                                                (CONJP (CONJ but;{but})
                                                                       (NLYR (D;_nphd_ some;{some})
                                                                             (PP (P-ROLE in;{in})
                                                                                 (NP (NLYR (NLYR (D the;{the})
                                                                                                 (NPR Pacific;{Pacific})
                                                                                                 (NPR islands;{islands}))
                                                                                           (PUNC ,)
                                                                                           (CONJP (NLYR (NPR Europe;{Europe})))
                                                                                           (PUNC ,)
                                                                                           (CONJP (CONJ and;{and})
                                                                                                  (NLYR (D the;{the})
                                                                                                        (NPR Near;{Near})
                                                                                                        (NPR East;{East}))))))))))))))))))
        (PUNC .))
  (ID 18_a_factbook_2_2010))

arc(r_0018_0002__Law,r_0018_0001__Customary,attrib).
arc(r_0018_0004__A_r_0018_0005__type,r_0018_0008__system,r_0018_0006__of).
arc(r_0018_0008__system,r_0018_0007__legal,attrib).
arc(r_0018_0010__serves_r_0018_0011__as,r_0018_0004__A_r_0018_0005__type,inv_arg0).
arc(r_0018_0010__serves_r_0018_0011__as,r_0018_0012__the_r_0018_0013__basis,arg1).
arc(r_0018_0012__the_r_0018_0013__basis,r_0018_0020__the_r_0018_0022__laws,r_0018_0014__of).
arc(r_0018_0016__or,r_0018_0010__serves_r_0018_0011__as,conj1).
arc(r_0018_0016__or,r_0018_0017__has,conj2).
arc(r_0018_0017__has,r_0018_0018__influenced,scope).
arc(r_0018_0018__influenced,r_0018_0004__A_r_0018_0005__type,arg0).
arc(r_0018_0018__influenced,r_0018_0020__the_r_0018_0022__laws,arg1).
arc(r_0018_0020__the_r_0018_0022__laws,r_0018_0021__present__hyphen__day,attrib).
arc(r_0018_0020__the_r_0018_0022__laws,r_0018_0025__40_r_0018_0026__countries,r_0018_0023__in).
arc(r_0018_0025__40_r_0018_0026__countries,r_0018_0024__approximately,qual).
arc(r_0018_0032__but,r_0018_0033__some,conj2).
arc(r_0018_0032__but,z_0018_5014,conj1).
arc(r_0018_0033__some,r_0018_0041__and,r_0018_0034__in).
arc(r_0018_0041__and,r_0018_0035__the_r_0018_0036__Pacific_r_0018_0037__islands,conj1).
arc(r_0018_0041__and,r_0018_0039__Europe,conj2).
arc(r_0018_0041__and,r_0018_0042__the_r_0018_0043__Near_r_0018_0044__East,conj3).
arc(z_0018_5014,r_0018_0030__Africa,r_0018_0028__mostly_r_0018_0029__in).
arc(z_0018_5016,r_0018_0025__40_r_0018_0026__countries,arg0).
arc(z_0018_5016,r_0018_0032__but,prd).
arc(z_0018_5024,r_0018_0002__Law,arg0).
arc(z_0018_5024,r_0018_0004__A_r_0018_0005__type,prd).
arc(z_0018_5026,r_0018_0002__Law,z_0018_5002).

fof(formula,axiom,
    ? [R_0018_0021__PRESENT__HYPHEN__DAY,R_0018_0024__APPROXIMATELY,R_0018_0025__40_R_0018_0026__COUNTRIES,R_0018_0020__THE_R_0018_0022__LAWS,R_0018_0012__THE_R_0018_0013__BASIS,R_0018_0010__SERVES_R_0018_0011__AS,R_0018_0007__LEGAL,R_0018_0008__SYSTEM,R_0018_0004__A_R_0018_0005__TYPE,R_0018_0017__HAS_R_0018_0018__INFLUENCED,R_0018_0016__OR,R_0018_0035__THE_R_0018_0036__PACIFIC_R_0018_0037__ISLANDS,R_0018_0039__EUROPE,R_0018_0042__THE_R_0018_0043__NEAR_R_0018_0044__EAST,R_0018_0041__AND,R_0018_0033__SOME,R_0018_0030__AFRICA,Z_0018_5014,R_0018_0032__BUT,Z_0018_5016,R_0018_0001__CUSTOMARY,R_0018_0002__LAW,Z_0018_5024,Z_0018_5026] :
      ( r_0018_0001__Customary(R_0018_0001__CUSTOMARY)
      & r_0018_0007__legal(R_0018_0007__LEGAL)
      & r_0018_0021__present__hyphen__day(R_0018_0021__PRESENT__HYPHEN__DAY)
      & r_0018_0024__approximately(R_0018_0024__APPROXIMATELY)
      & r_0018_0030__Africa(R_0018_0030__AFRICA)
      & r_0018_0035__the_r_0018_0036__Pacific_r_0018_0037__islands(R_0018_0035__THE_R_0018_0036__PACIFIC_R_0018_0037__ISLANDS)
      & r_0018_0039__Europe(R_0018_0039__EUROPE)
      & r_0018_0042__the_r_0018_0043__Near_r_0018_0044__East(R_0018_0042__THE_R_0018_0043__NEAR_R_0018_0044__EAST)
      & z_0018_5026(Z_0018_5026)
      & has_z_0018_5002(Z_0018_5026,R_0018_0002__LAW)
      & r_0018_0002__Law(R_0018_0002__LAW)
      & has_attrib(R_0018_0002__LAW,R_0018_0001__CUSTOMARY)
      & z_0018_5024(Z_0018_5024)
      & has_prd(Z_0018_5024,R_0018_0004__A_R_0018_0005__TYPE)
      & r_0018_0004__A_r_0018_0005__type(R_0018_0004__A_R_0018_0005__TYPE)
      & has_inv_arg0(R_0018_0004__A_R_0018_0005__TYPE,R_0018_0010__SERVES_R_0018_0011__AS)
      & r_0018_0010__serves_r_0018_0011__as(R_0018_0010__SERVES_R_0018_0011__AS)
      & has_arg1(R_0018_0010__SERVES_R_0018_0011__AS,R_0018_0012__THE_R_0018_0013__BASIS)
      & r_0018_0012__the_r_0018_0013__basis(R_0018_0012__THE_R_0018_0013__BASIS)
      & has_r_0018_0014__of(R_0018_0012__THE_R_0018_0013__BASIS,R_0018_0020__THE_R_0018_0022__LAWS)
      & r_0018_0020__the_r_0018_0022__laws(R_0018_0020__THE_R_0018_0022__LAWS)
      & has_r_0018_0023__in(R_0018_0020__THE_R_0018_0022__LAWS,R_0018_0025__40_R_0018_0026__COUNTRIES)
      & r_0018_0025__40_r_0018_0026__countries(R_0018_0025__40_R_0018_0026__COUNTRIES)
      & has_qual(R_0018_0025__40_R_0018_0026__COUNTRIES,R_0018_0024__APPROXIMATELY)
      & has_attrib(R_0018_0020__THE_R_0018_0022__LAWS,R_0018_0021__PRESENT__HYPHEN__DAY)
      & has_r_0018_0006__of(R_0018_0004__A_R_0018_0005__TYPE,R_0018_0008__SYSTEM)
      & r_0018_0008__system(R_0018_0008__SYSTEM)
      & has_attrib(R_0018_0008__SYSTEM,R_0018_0007__LEGAL)
      & has_arg0(Z_0018_5024,R_0018_0002__LAW)
      & z_0018_5016(Z_0018_5016)
      & has_prd(Z_0018_5016,R_0018_0032__BUT)
      & r_0018_0032__but(R_0018_0032__BUT)
      & has_conj1(R_0018_0032__BUT,Z_0018_5014)
      & z_0018_5014(Z_0018_5014)
      & has_r_0018_0028__mostly_r_0018_0029__in(Z_0018_5014,R_0018_0030__AFRICA)
      & has_conj2(R_0018_0032__BUT,R_0018_0033__SOME)
      & r_0018_0033__some(R_0018_0033__SOME)
      & has_r_0018_0034__in(R_0018_0033__SOME,R_0018_0041__AND)
      & r_0018_0041__and(R_0018_0041__AND)
      & has_conj3(R_0018_0041__AND,R_0018_0042__THE_R_0018_0043__NEAR_R_0018_0044__EAST)
      & has_conj2(R_0018_0041__AND,R_0018_0039__EUROPE)
      & has_conj1(R_0018_0041__AND,R_0018_0035__THE_R_0018_0036__PACIFIC_R_0018_0037__ISLANDS)
      & has_arg0(Z_0018_5016,R_0018_0025__40_R_0018_0026__COUNTRIES)
      & r_0018_0016__or(R_0018_0016__OR)
      & has_conj2(R_0018_0016__OR,R_0018_0017__HAS_R_0018_0018__INFLUENCED)
      & r_0018_0017__has_r_0018_0018__influenced(R_0018_0017__HAS_R_0018_0018__INFLUENCED)
      & has_arg1(R_0018_0017__HAS_R_0018_0018__INFLUENCED,R_0018_0020__THE_R_0018_0022__LAWS)
      & has_arg0(R_0018_0017__HAS_R_0018_0018__INFLUENCED,R_0018_0004__A_R_0018_0005__TYPE)
      & has_conj1(R_0018_0016__OR,R_0018_0010__SERVES_R_0018_0011__AS) ) ).