TSPC 10_a_factbook_2

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

arc(r_0010_0001__The_r_0010_0003__law_r_0010_0004__systems, r_0010_0002__civil, attrib5).
arc(r_0010_0001__The_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_0003__law_r_0010_0004__systems, arg1).
arc(r_0010_0009__based, r_0010_0014__code, r_0010_0010__on_clr30).
arc(r_0010_0009__based, z_000_10_a_factbook_2_2010_23, arg0).
arc(r_0010_0011__more, r_0010_0013__one, r_0010_0012__than).
arc(r_0010_0014__code, r_0010_0011__more, attrib31).

fof(formula,axiom,
    ? [R_0010_0002__CIVIL,R_0010_0006__SOME_R_0010_0007__COUNTRIES,R_0010_0001__THE_R_0010_0003__LAW_R_0010_0004__SYSTEMS,R_0010_0013__ONE,R_0010_0011__MORE,R_0010_0014__CODE,Z_000_10_A_FACTBOOK_2_2010_23,R_0010_0008__ARE_R_0010_0009__BASED] :
      ( r_0010_0002__civil(R_0010_0002__CIVIL)
      & 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_000_10_a_factbook_2_2010_23(Z_000_10_A_FACTBOOK_2_2010_23)
      & 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_000_10_A_FACTBOOK_2_2010_23)
      & has_r_0010_0010__on_clr30(R_0010_0008__ARE_R_0010_0009__BASED,R_0010_0014__CODE)
      & r_0010_0014__code(R_0010_0014__CODE)
      & has_attrib31(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_0003__LAW_R_0010_0004__SYSTEMS)
      & r_0010_0001__The_r_0010_0003__law_r_0010_0004__systems(R_0010_0001__THE_R_0010_0003__LAW_R_0010_0004__SYSTEMS)
      & has_r_0010_0005__in(R_0010_0001__THE_R_0010_0003__LAW_R_0010_0004__SYSTEMS,R_0010_0006__SOME_R_0010_0007__COUNTRIES)
      & has_attrib5(R_0010_0001__THE_R_0010_0003__LAW_R_0010_0004__SYSTEMS,R_0010_0002__CIVIL) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (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))