Context                Previous, Next                Top


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

%3 r_0010_0001__The_r_0010_0003__law_r_0010_0004__systems The law systems r_0010_0002__civil civil r_0010_0001__The_r_0010_0003__law_r_0010_0004__systems->r_0010_0002__civil [attrib] r_0010_0006__some_r_0010_0007__countries some countries r_0010_0001__The_r_0010_0003__law_r_0010_0004__systems->r_0010_0006__some_r_0010_0007__countries in r_0010_0008__are are r_0010_0009__based based r_0010_0008__are->r_0010_0009__based [scope] r_0010_0009__based->r_0010_0001__The_r_0010_0003__law_r_0010_0004__systems [arg1] r_0010_0014__code code r_0010_0009__based->r_0010_0014__code on [clr] z_000_10_a_factbook_2_2010_23 r_0010_0009__based->z_000_10_a_factbook_2_2010_23 [arg0] r_0010_0011__more more r_0010_0014__code->r_0010_0011__more [attrib] r_0010_0013__one one r_0010_0011__more->r_0010_0013__one than 
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).


%3 r_0010_0014__code code r_0010_0011__more more r_0010_0014__code->r_0010_0011__more [attrib] r_0010_0013__one one r_0010_0011__more->r_0010_0013__one than r_0010_0008__are_r_0010_0009__based are based r_0010_0008__are_r_0010_0009__based->r_0010_0014__code on [clr] z_000_10_a_factbook_2_2010_23 r_0010_0008__are_r_0010_0009__based->z_000_10_a_factbook_2_2010_23 [arg0] r_0010_0001__The_r_0010_0003__law_r_0010_0004__systems The law systems r_0010_0008__are_r_0010_0009__based->r_0010_0001__The_r_0010_0003__law_r_0010_0004__systems [arg1] r_0010_0006__some_r_0010_0007__countries some countries r_0010_0001__The_r_0010_0003__law_r_0010_0004__systems->r_0010_0006__some_r_0010_0007__countries in r_0010_0002__civil civil r_0010_0001__The_r_0010_0003__law_r_0010_0004__systems->r_0010_0002__civil [attrib] 
fof(formula,axiom,
    ? [R_10_8_ARE_BASED,Z_10_A_FACTBOOK_2_2010_23,R_10_1_THE_LAW_SYSTEMS,R_10_2_CIVIL,R_10_6_SOME_COUNTRIES,R_10_14_CODE,R_10_11_MORE,R_10_13_ONE] :
      ( civil(R_10_2_CIVIL)
      & some_countries(R_10_6_SOME_COUNTRIES)
      & one(R_10_13_ONE)
      & are_based(R_10_8_ARE_BASED,Z_10_A_FACTBOOK_2_2010_23,R_10_1_THE_LAW_SYSTEMS)
      & the_law_systems(R_10_1_THE_LAW_SYSTEMS)
      & attrib5(R_10_1_THE_LAW_SYSTEMS,R_10_2_CIVIL)
      & in(R_10_1_THE_LAW_SYSTEMS,R_10_6_SOME_COUNTRIES)
      & on_clr30(R_10_8_ARE_BASED,R_10_14_CODE)
      & code(R_10_14_CODE)
      & attrib31(R_10_14_CODE,R_10_11_MORE)
      & more(R_10_11_MORE)
      & than(R_10_11_MORE,R_10_13_ONE) ) ).


n10_a_factbook_2_2010 n10_a_factbook_2_2010__1_1_1_1 The n10_a_factbook_2_2010__1_1_2_1_1 civil n10_a_factbook_2_2010__1_1_3_1 law n10_a_factbook_2_2010__1_1_4_1 systems n10_a_factbook_2_2010__1_1_5_1_1 in n10_a_factbook_2_2010__1_1_5_2_1_1 some n10_a_factbook_2_2010__1_1_5_2_2_1 countries n10_a_factbook_2_2010__1_2_1 are n10_a_factbook_2_2010__1_3_1_1 * n10_a_factbook_2_2010__1_3_2_1 based n10_a_factbook_2_2010__1_3_3_1_1 on n10_a_factbook_2_2010__1_3_3_2_1_1_1 more n10_a_factbook_2_2010__1_3_3_2_1_2_1_1 than n10_a_factbook_2_2010__1_3_3_2_1_2_2_1_1 one n10_a_factbook_2_2010__1_3_3_2_2_1 code n10_a_factbook_2_2010__1_4_1 . n10_a_factbook_2_2010__1 IP-MAT n10_a_factbook_2_2010__1_1 NP-SBJ n10_a_factbook_2_2010__1->n10_a_factbook_2_2010__1_1 n10_a_factbook_2_2010__1_2 BEP;_cat_VePASS_ n10_a_factbook_2_2010__1->n10_a_factbook_2_2010__1_2 n10_a_factbook_2_2010__1_3 IP-PPL-CAT n10_a_factbook_2_2010__1->n10_a_factbook_2_2010__1_3 n10_a_factbook_2_2010__1_4 PUNC n10_a_factbook_2_2010__1->n10_a_factbook_2_2010__1_4 n10_a_factbook_2_2010__1_1_1 D n10_a_factbook_2_2010__1_1->n10_a_factbook_2_2010__1_1_1 n10_a_factbook_2_2010__1_1_2 ADJP n10_a_factbook_2_2010__1_1->n10_a_factbook_2_2010__1_1_2 n10_a_factbook_2_2010__1_1_3 N n10_a_factbook_2_2010__1_1->n10_a_factbook_2_2010__1_1_3 n10_a_factbook_2_2010__1_1_4 NS n10_a_factbook_2_2010__1_1->n10_a_factbook_2_2010__1_1_4 n10_a_factbook_2_2010__1_1_5 PP n10_a_factbook_2_2010__1_1->n10_a_factbook_2_2010__1_1_5 n10_a_factbook_2_2010__1_1_1->n10_a_factbook_2_2010__1_1_1_1 n10_a_factbook_2_2010__1_1_2_1 ADJ n10_a_factbook_2_2010__1_1_2->n10_a_factbook_2_2010__1_1_2_1 n10_a_factbook_2_2010__1_1_2_1->n10_a_factbook_2_2010__1_1_2_1_1 n10_a_factbook_2_2010__1_1_3->n10_a_factbook_2_2010__1_1_3_1 n10_a_factbook_2_2010__1_1_4->n10_a_factbook_2_2010__1_1_4_1 n10_a_factbook_2_2010__1_1_5_1 P-ROLE n10_a_factbook_2_2010__1_1_5->n10_a_factbook_2_2010__1_1_5_1 n10_a_factbook_2_2010__1_1_5_2 NP n10_a_factbook_2_2010__1_1_5->n10_a_factbook_2_2010__1_1_5_2 n10_a_factbook_2_2010__1_1_5_1->n10_a_factbook_2_2010__1_1_5_1_1 n10_a_factbook_2_2010__1_1_5_2_1 D n10_a_factbook_2_2010__1_1_5_2->n10_a_factbook_2_2010__1_1_5_2_1 n10_a_factbook_2_2010__1_1_5_2_2 NS n10_a_factbook_2_2010__1_1_5_2->n10_a_factbook_2_2010__1_1_5_2_2 n10_a_factbook_2_2010__1_1_5_2_1->n10_a_factbook_2_2010__1_1_5_2_1_1 n10_a_factbook_2_2010__1_1_5_2_2->n10_a_factbook_2_2010__1_1_5_2_2_1 n10_a_factbook_2_2010__1_2->n10_a_factbook_2_2010__1_2_1 n10_a_factbook_2_2010__1_3_1 NP-LGS n10_a_factbook_2_2010__1_3->n10_a_factbook_2_2010__1_3_1 n10_a_factbook_2_2010__1_3_2 VVN;_phr_Vn.pr_ n10_a_factbook_2_2010__1_3->n10_a_factbook_2_2010__1_3_2 n10_a_factbook_2_2010__1_3_3 PP-CLR n10_a_factbook_2_2010__1_3->n10_a_factbook_2_2010__1_3_3 n10_a_factbook_2_2010__1_3_1->n10_a_factbook_2_2010__1_3_1_1 n10_a_factbook_2_2010__1_3_2->n10_a_factbook_2_2010__1_3_2_1 n10_a_factbook_2_2010__1_3_3_1 P-ROLE n10_a_factbook_2_2010__1_3_3->n10_a_factbook_2_2010__1_3_3_1 n10_a_factbook_2_2010__1_3_3_2 NP n10_a_factbook_2_2010__1_3_3->n10_a_factbook_2_2010__1_3_3_2 n10_a_factbook_2_2010__1_3_3_1->n10_a_factbook_2_2010__1_3_3_1_1 n10_a_factbook_2_2010__1_3_3_2_1 ADJP n10_a_factbook_2_2010__1_3_3_2->n10_a_factbook_2_2010__1_3_3_2_1 n10_a_factbook_2_2010__1_3_3_2_2 N n10_a_factbook_2_2010__1_3_3_2->n10_a_factbook_2_2010__1_3_3_2_2 n10_a_factbook_2_2010__1_3_3_2_1_1 ADJR n10_a_factbook_2_2010__1_3_3_2_1->n10_a_factbook_2_2010__1_3_3_2_1_1 n10_a_factbook_2_2010__1_3_3_2_1_2 PP n10_a_factbook_2_2010__1_3_3_2_1->n10_a_factbook_2_2010__1_3_3_2_1_2 n10_a_factbook_2_2010__1_3_3_2_1_1->n10_a_factbook_2_2010__1_3_3_2_1_1_1 n10_a_factbook_2_2010__1_3_3_2_1_2_1 P-ROLE n10_a_factbook_2_2010__1_3_3_2_1_2->n10_a_factbook_2_2010__1_3_3_2_1_2_1 n10_a_factbook_2_2010__1_3_3_2_1_2_2 NP n10_a_factbook_2_2010__1_3_3_2_1_2->n10_a_factbook_2_2010__1_3_3_2_1_2_2 n10_a_factbook_2_2010__1_3_3_2_1_2_1->n10_a_factbook_2_2010__1_3_3_2_1_2_1_1 n10_a_factbook_2_2010__1_3_3_2_1_2_2_1 NUM n10_a_factbook_2_2010__1_3_3_2_1_2_2->n10_a_factbook_2_2010__1_3_3_2_1_2_2_1 n10_a_factbook_2_2010__1_3_3_2_1_2_2_1->n10_a_factbook_2_2010__1_3_3_2_1_2_2_1_1 n10_a_factbook_2_2010__1_3_3_2_2->n10_a_factbook_2_2010__1_3_3_2_2_1 n10_a_factbook_2_2010__1_4->n10_a_factbook_2_2010__1_4_1 
( (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))