Context                Previous, Next                Top


32_a_factbook_2_2010
French Law - A type of civil law that is the legal system of France.

%3 r_0032_0002__Law Law r_0032_0001__French French r_0032_0002__Law->r_0032_0001__French [attrib] r_0032_0004__A_r_0032_0005__type A type r_0032_0008__law law r_0032_0004__A_r_0032_0005__type->r_0032_0008__law of r_0032_0007__civil civil r_0032_0008__law->r_0032_0007__civil [attrib] r_0032_0009__that_r_0032_0010__is that is r_0032_0009__that_r_0032_0010__is->r_0032_0004__A_r_0032_0005__type [arg0] r_0032_0011__the_r_0032_0013__system the system r_0032_0009__that_r_0032_0010__is->r_0032_0011__the_r_0032_0013__system [prd] r_0032_0012__legal legal r_0032_0011__the_r_0032_0013__system->r_0032_0012__legal [attrib] r_0032_0015__France France r_0032_0011__the_r_0032_0013__system->r_0032_0015__France of z_000_32_a_factbook_2_2010_1 z_000_32_a_factbook_2_2010_1->r_0032_0002__Law [arg0] z_000_32_a_factbook_2_2010_1->r_0032_0004__A_r_0032_0005__type [prd] 
arc(r_0032_0002__Law, r_0032_0001__French, attrib3).
arc(r_0032_0004__A_r_0032_0005__type, r_0032_0008__law, r_0032_0006__of).
arc(r_0032_0008__law, r_0032_0007__civil, attrib19).
arc(r_0032_0009__that_r_0032_0010__is, r_0032_0004__A_r_0032_0005__type, arg0).
arc(r_0032_0009__that_r_0032_0010__is, r_0032_0011__the_r_0032_0013__system, prd).
arc(r_0032_0011__the_r_0032_0013__system, r_0032_0012__legal, attrib34).
arc(r_0032_0011__the_r_0032_0013__system, r_0032_0015__France, r_0032_0014__of).
arc(z_000_32_a_factbook_2_2010_1, r_0032_0002__Law, arg0).
arc(z_000_32_a_factbook_2_2010_1, r_0032_0004__A_r_0032_0005__type, prd).


%3 z_000_32_a_factbook_2_2010_1 r_0032_0004__A_r_0032_0005__type A type z_000_32_a_factbook_2_2010_1->r_0032_0004__A_r_0032_0005__type [prd] r_0032_0002__Law Law z_000_32_a_factbook_2_2010_1->r_0032_0002__Law [arg0] r_0032_0008__law law r_0032_0004__A_r_0032_0005__type->r_0032_0008__law of r_0032_0001__French French r_0032_0002__Law->r_0032_0001__French [attrib] r_0032_0011__the_r_0032_0013__system the system r_0032_0015__France France r_0032_0011__the_r_0032_0013__system->r_0032_0015__France of r_0032_0012__legal legal r_0032_0011__the_r_0032_0013__system->r_0032_0012__legal [attrib] r_0032_0009__that_r_0032_0010__is that is r_0032_0009__that_r_0032_0010__is->r_0032_0004__A_r_0032_0005__type [arg0] r_0032_0009__that_r_0032_0010__is->r_0032_0011__the_r_0032_0013__system [prd] r_0032_0007__civil civil r_0032_0008__law->r_0032_0007__civil [attrib] 
fof(formula,axiom,
    ? [R_32_9_THAT_IS,R_32_11_THE_SYSTEM,R_32_12_LEGAL,R_32_15_FRANCE,Z_32_A_FACTBOOK_2_2010_1,R_32_2_LAW,R_32_1_FRENCH,R_32_4_A_TYPE,R_32_8_LAW,R_32_7_CIVIL] :
      ( legal(R_32_12_LEGAL)
      & france(R_32_15_FRANCE)
      & french(R_32_1_FRENCH)
      & civil(R_32_7_CIVIL)
      & that_is(R_32_9_THAT_IS,R_32_4_A_TYPE,R_32_11_THE_SYSTEM)
      & a_type(R_32_4_A_TYPE)
      & of(R_32_4_A_TYPE,R_32_8_LAW)
      & law(R_32_8_LAW)
      & attrib19(R_32_8_LAW,R_32_7_CIVIL)
      & the_system(R_32_11_THE_SYSTEM)
      & attrib34(R_32_11_THE_SYSTEM,R_32_12_LEGAL)
      & of(R_32_11_THE_SYSTEM,R_32_15_FRANCE)
      & z_32_a_factbook_2_2010_1(Z_32_A_FACTBOOK_2_2010_1,R_32_2_LAW,R_32_4_A_TYPE)
      & law(R_32_2_LAW)
      & attrib3(R_32_2_LAW,R_32_1_FRENCH) ) ).


n32_a_factbook_2_2010 n32_a_factbook_2_2010__1_1_1_1_1 French n32_a_factbook_2_2010__1_1_2_1 Law n32_a_factbook_2_2010__1_2_1 - n32_a_factbook_2_2010__1_3_1_1 A n32_a_factbook_2_2010__1_3_2_1 type n32_a_factbook_2_2010__1_3_3_1_1 of n32_a_factbook_2_2010__1_3_3_2_1_1_1 civil n32_a_factbook_2_2010__1_3_3_2_2_1 law n32_a_factbook_2_2010__1_3_4_1_1 that n32_a_factbook_2_2010__1_3_4_2_1 *T* n32_a_factbook_2_2010__1_3_4_3_1 is n32_a_factbook_2_2010__1_3_4_4_1_1 the n32_a_factbook_2_2010__1_3_4_4_2_1_1 legal n32_a_factbook_2_2010__1_3_4_4_3_1 system n32_a_factbook_2_2010__1_3_4_4_4_1_1 of n32_a_factbook_2_2010__1_3_4_4_4_2_1_1 France n32_a_factbook_2_2010__1_4_1 . n32_a_factbook_2_2010__1 FRAG n32_a_factbook_2_2010__1_1 NP-SBJ n32_a_factbook_2_2010__1->n32_a_factbook_2_2010__1_1 n32_a_factbook_2_2010__1_2 PUNC n32_a_factbook_2_2010__1->n32_a_factbook_2_2010__1_2 n32_a_factbook_2_2010__1_3 NP-PRD n32_a_factbook_2_2010__1->n32_a_factbook_2_2010__1_3 n32_a_factbook_2_2010__1_4 PUNC n32_a_factbook_2_2010__1->n32_a_factbook_2_2010__1_4 n32_a_factbook_2_2010__1_1_1 ADJP n32_a_factbook_2_2010__1_1->n32_a_factbook_2_2010__1_1_1 n32_a_factbook_2_2010__1_1_2 N n32_a_factbook_2_2010__1_1->n32_a_factbook_2_2010__1_1_2 n32_a_factbook_2_2010__1_1_1_1 ADJ n32_a_factbook_2_2010__1_1_1->n32_a_factbook_2_2010__1_1_1_1 n32_a_factbook_2_2010__1_1_1_1->n32_a_factbook_2_2010__1_1_1_1_1 n32_a_factbook_2_2010__1_1_2->n32_a_factbook_2_2010__1_1_2_1 n32_a_factbook_2_2010__1_2->n32_a_factbook_2_2010__1_2_1 n32_a_factbook_2_2010__1_3_1 D n32_a_factbook_2_2010__1_3->n32_a_factbook_2_2010__1_3_1 n32_a_factbook_2_2010__1_3_2 N n32_a_factbook_2_2010__1_3->n32_a_factbook_2_2010__1_3_2 n32_a_factbook_2_2010__1_3_3 PP n32_a_factbook_2_2010__1_3->n32_a_factbook_2_2010__1_3_3 n32_a_factbook_2_2010__1_3_4 IP-REL n32_a_factbook_2_2010__1_3->n32_a_factbook_2_2010__1_3_4 n32_a_factbook_2_2010__1_3_1->n32_a_factbook_2_2010__1_3_1_1 n32_a_factbook_2_2010__1_3_2->n32_a_factbook_2_2010__1_3_2_1 n32_a_factbook_2_2010__1_3_3_1 P-ROLE n32_a_factbook_2_2010__1_3_3->n32_a_factbook_2_2010__1_3_3_1 n32_a_factbook_2_2010__1_3_3_2 NP n32_a_factbook_2_2010__1_3_3->n32_a_factbook_2_2010__1_3_3_2 n32_a_factbook_2_2010__1_3_3_1->n32_a_factbook_2_2010__1_3_3_1_1 n32_a_factbook_2_2010__1_3_3_2_1 ADJP n32_a_factbook_2_2010__1_3_3_2->n32_a_factbook_2_2010__1_3_3_2_1 n32_a_factbook_2_2010__1_3_3_2_2 N n32_a_factbook_2_2010__1_3_3_2->n32_a_factbook_2_2010__1_3_3_2_2 n32_a_factbook_2_2010__1_3_3_2_1_1 ADJ n32_a_factbook_2_2010__1_3_3_2_1->n32_a_factbook_2_2010__1_3_3_2_1_1 n32_a_factbook_2_2010__1_3_3_2_1_1->n32_a_factbook_2_2010__1_3_3_2_1_1_1 n32_a_factbook_2_2010__1_3_3_2_2->n32_a_factbook_2_2010__1_3_3_2_2_1 n32_a_factbook_2_2010__1_3_4_1 C n32_a_factbook_2_2010__1_3_4->n32_a_factbook_2_2010__1_3_4_1 n32_a_factbook_2_2010__1_3_4_2 NP-SBJ n32_a_factbook_2_2010__1_3_4->n32_a_factbook_2_2010__1_3_4_2 n32_a_factbook_2_2010__1_3_4_3 BEP;_Ln_ n32_a_factbook_2_2010__1_3_4->n32_a_factbook_2_2010__1_3_4_3 n32_a_factbook_2_2010__1_3_4_4 NP-PRD n32_a_factbook_2_2010__1_3_4->n32_a_factbook_2_2010__1_3_4_4 n32_a_factbook_2_2010__1_3_4_1->n32_a_factbook_2_2010__1_3_4_1_1 n32_a_factbook_2_2010__1_3_4_2->n32_a_factbook_2_2010__1_3_4_2_1 n32_a_factbook_2_2010__1_3_4_3->n32_a_factbook_2_2010__1_3_4_3_1 n32_a_factbook_2_2010__1_3_4_4_1 D n32_a_factbook_2_2010__1_3_4_4->n32_a_factbook_2_2010__1_3_4_4_1 n32_a_factbook_2_2010__1_3_4_4_2 ADJP n32_a_factbook_2_2010__1_3_4_4->n32_a_factbook_2_2010__1_3_4_4_2 n32_a_factbook_2_2010__1_3_4_4_3 N n32_a_factbook_2_2010__1_3_4_4->n32_a_factbook_2_2010__1_3_4_4_3 n32_a_factbook_2_2010__1_3_4_4_4 PP n32_a_factbook_2_2010__1_3_4_4->n32_a_factbook_2_2010__1_3_4_4_4 n32_a_factbook_2_2010__1_3_4_4_1->n32_a_factbook_2_2010__1_3_4_4_1_1 n32_a_factbook_2_2010__1_3_4_4_2_1 ADJ n32_a_factbook_2_2010__1_3_4_4_2->n32_a_factbook_2_2010__1_3_4_4_2_1 n32_a_factbook_2_2010__1_3_4_4_2_1->n32_a_factbook_2_2010__1_3_4_4_2_1_1 n32_a_factbook_2_2010__1_3_4_4_3->n32_a_factbook_2_2010__1_3_4_4_3_1 n32_a_factbook_2_2010__1_3_4_4_4_1 P-ROLE n32_a_factbook_2_2010__1_3_4_4_4->n32_a_factbook_2_2010__1_3_4_4_4_1 n32_a_factbook_2_2010__1_3_4_4_4_2 NP n32_a_factbook_2_2010__1_3_4_4_4->n32_a_factbook_2_2010__1_3_4_4_4_2 n32_a_factbook_2_2010__1_3_4_4_4_1->n32_a_factbook_2_2010__1_3_4_4_4_1_1 n32_a_factbook_2_2010__1_3_4_4_4_2_1 NPR n32_a_factbook_2_2010__1_3_4_4_4_2->n32_a_factbook_2_2010__1_3_4_4_4_2_1 n32_a_factbook_2_2010__1_3_4_4_4_2_1->n32_a_factbook_2_2010__1_3_4_4_4_2_1_1 n32_a_factbook_2_2010__1_4->n32_a_factbook_2_2010__1_4_1 
( (FRAG (NP-SBJ (ADJP (ADJ French;{french}))
                (N Law;{law}))
        (PUNC <hyphen>)
        (NP-PRD (D A;{a})
                (N type;{type})
                (PP (P-ROLE of;{of})
                    (NP (ADJP (ADJ civil;{civil}))
                        (N law;{law})))
                (IP-REL (C that;{that})
                        (NP-SBJ *T*)
                        (BEP;_Ln_ is;{be})
                        (NP-PRD (D the;{the})
                                (ADJP (ADJ legal;{legal}))
                                (N system;{system})
                                (PP (P-ROLE of;{of})
                                    (NP (NPR France;{France}))))))
        (PUNC .))
  (ID 32_a_factbook_2_2010))