TSPC 10_a_factbook_2

10_a_factbook_2_2010
The civil law systems in some countries are based on more than one code.

( (IP-MAT (NP-SBJ (D The;{the})
                  (NLYR (ADJP (ADJ civil;{civil}))
                        (N law;{law}))
                  (NS systems;{system})
                  (PP (P-ROLE in;{in})
                      (NP (D some;{some})
                          (NS countries;{country}))))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_phr_Vn.pr_ based;{base[on]})
                      (PP-CLR (P-ROLE on;{on})
                              (NP (ADJP (ADJR more;{more})
                                        (PP (P-ROLE than;{than})
                                            (NP (NUM one;{one}))))
                                  (N code;{code}))))
          (PUNC .))
  (ID 10_a_factbook_2_2010))

arc(r_0010_0001__The_r_0010_0002__civil_r_0010_0003__law_r_0010_0004__systems,r_0010_0006__some_r_0010_0007__countries,r_0010_0005__in).
arc(r_0010_0008__are,r_0010_0009__based,scope).
arc(r_0010_0009__based,r_0010_0001__The_r_0010_0002__civil_r_0010_0003__law_r_0010_0004__systems,arg1).
arc(r_0010_0009__based,r_0010_0014__code,r_0010_0010__on__clr).
arc(r_0010_0009__based,z_0010_5007___star_,arg0).
arc(r_0010_0011__more,r_0010_0013__one,r_0010_0012__than).
arc(r_0010_0014__code,r_0010_0011__more,attrib).

fof(formula,axiom,
    ? [R_0010_0006__SOME_R_0010_0007__COUNTRIES,R_0010_0001__THE_R_0010_0002__CIVIL_R_0010_0003__LAW_R_0010_0004__SYSTEMS,R_0010_0013__ONE,R_0010_0011__MORE,R_0010_0014__CODE,Z_0010_5007___STAR_,R_0010_0008__ARE_R_0010_0009__BASED] :
      ( r_0010_0006__some_r_0010_0007__countries(R_0010_0006__SOME_R_0010_0007__COUNTRIES)
      & r_0010_0013__one(R_0010_0013__ONE)
      & z_0010_5007___star_(Z_0010_5007___STAR_)
      & r_0010_0008__are_r_0010_0009__based(R_0010_0008__ARE_R_0010_0009__BASED)
      & has_arg0(R_0010_0008__ARE_R_0010_0009__BASED,Z_0010_5007___STAR_)
      & has_r_0010_0010__on__clr(R_0010_0008__ARE_R_0010_0009__BASED,R_0010_0014__CODE)
      & r_0010_0014__code(R_0010_0014__CODE)
      & has_attrib(R_0010_0014__CODE,R_0010_0011__MORE)
      & r_0010_0011__more(R_0010_0011__MORE)
      & has_r_0010_0012__than(R_0010_0011__MORE,R_0010_0013__ONE)
      & has_arg1(R_0010_0008__ARE_R_0010_0009__BASED,R_0010_0001__THE_R_0010_0002__CIVIL_R_0010_0003__LAW_R_0010_0004__SYSTEMS)
      & r_0010_0001__The_r_0010_0002__civil_r_0010_0003__law_r_0010_0004__systems(R_0010_0001__THE_R_0010_0002__CIVIL_R_0010_0003__LAW_R_0010_0004__SYSTEMS)
      & has_r_0010_0005__in(R_0010_0001__THE_R_0010_0002__CIVIL_R_0010_0003__LAW_R_0010_0004__SYSTEMS,R_0010_0006__SOME_R_0010_0007__COUNTRIES) ) ).