Context                Previous, Next                Top


35_a_factbook_2_2010
Prior to the French Revolution (1789 - 1799), France had no single national legal system.

%3 r_0035_0001__Prior Prior r_0035_0003__the_r_0035_0004__French_r_0035_0005__Revolution the French Revolution r_0035_0001__Prior->r_0035_0003__the_r_0035_0004__French_r_0035_0005__Revolution to r_0035_0013__had had r_0035_0013__had->r_0035_0001__Prior [nim] r_0035_0012__France France r_0035_0013__had->r_0035_0012__France [arg0] r_0035_0018__system system r_0035_0013__had->r_0035_0018__system [arg1] r_0035_0015__single single r_0035_0018__system->r_0035_0015__single [attrib] r_0035_0016__national national r_0035_0018__system->r_0035_0016__national [attrib] r_0035_0017__legal legal r_0035_0018__system->r_0035_0017__legal [attrib] r_0035_0014__no_quant no [quant] r_0035_0014__no_quant->r_0035_0013__had [scope] r_0035_0014__no_quant->r_0035_0018__system [restriction] z_000_35_a_factbook_2_2010_17 z_000_35_a_factbook_2_2010_17->r_0035_0003__the_r_0035_0004__French_r_0035_0005__Revolution [arg0] r_0035_0007__1789_r_0035_0009__1799 1789 1799 z_000_35_a_factbook_2_2010_17->r_0035_0007__1789_r_0035_0009__1799 [prd] 
arc(r_0035_0001__Prior, r_0035_0003__the_r_0035_0004__French_r_0035_0005__Revolution, r_0035_0002__to).
arc(r_0035_0013__had, r_0035_0001__Prior, nim2).
arc(r_0035_0013__had, r_0035_0012__France, arg0).
arc(r_0035_0013__had, r_0035_0018__system, arg1).
arc(r_0035_0014__no_quant, r_0035_0013__had, scope).
arc(r_0035_0014__no_quant, r_0035_0018__system, restriction).
arc(r_0035_0018__system, r_0035_0015__single, attrib37).
arc(r_0035_0018__system, r_0035_0016__national, attrib40).
arc(r_0035_0018__system, r_0035_0017__legal, attrib43).
arc(z_000_35_a_factbook_2_2010_17, r_0035_0003__the_r_0035_0004__French_r_0035_0005__Revolution, arg0).
arc(z_000_35_a_factbook_2_2010_17, r_0035_0007__1789_r_0035_0009__1799, prd).


%3 z_000_35_a_factbook_2_2010_17 r_0035_0007__1789_r_0035_0009__1799 1789 1799 z_000_35_a_factbook_2_2010_17->r_0035_0007__1789_r_0035_0009__1799 [prd] r_0035_0003__the_r_0035_0004__French_r_0035_0005__Revolution the French Revolution z_000_35_a_factbook_2_2010_17->r_0035_0003__the_r_0035_0004__French_r_0035_0005__Revolution [arg0] r_0035_0018__system system r_0035_0017__legal legal r_0035_0018__system->r_0035_0017__legal [attrib] r_0035_0016__national national r_0035_0018__system->r_0035_0016__national [attrib] r_0035_0015__single single r_0035_0018__system->r_0035_0015__single [attrib] r_0035_0014__no_quant no [quant] r_0035_0014__no_quant->r_0035_0018__system [restriction] r_0035_0013__had had r_0035_0014__no_quant->r_0035_0013__had [scope] r_0035_0013__had->r_0035_0018__system [arg1] r_0035_0012__France France r_0035_0013__had->r_0035_0012__France [arg0] r_0035_0001__Prior Prior r_0035_0013__had->r_0035_0001__Prior [nim] r_0035_0001__Prior->r_0035_0003__the_r_0035_0004__French_r_0035_0005__Revolution to 
fof(formula,axiom,
    ? [Z_35_A_FACTBOOK_2_2010_17,R_35_3_THE_FRENCH_REVOLUTION,R_35_7_1789_1799] :
      ( the_French_Revolution(R_35_3_THE_FRENCH_REVOLUTION)
      & 1789_1799(R_35_7_1789_1799)
      & ! [R_35_18_SYSTEM,R_35_15_SINGLE,R_35_16_NATIONAL,R_35_17_LEGAL] :
          ( ( single(R_35_15_SINGLE)
            & national(R_35_16_NATIONAL)
            & legal(R_35_17_LEGAL)
            & system(R_35_18_SYSTEM)
            & attrib37(R_35_18_SYSTEM,R_35_15_SINGLE)
            & attrib40(R_35_18_SYSTEM,R_35_16_NATIONAL)
            & attrib43(R_35_18_SYSTEM,R_35_17_LEGAL) )
         => ? [R_35_13_HAD,R_35_12_FRANCE,R_35_1_PRIOR] :
              ( france(R_35_12_FRANCE)
              & had(R_35_13_HAD,R_35_12_FRANCE,R_35_18_SYSTEM)
              & nim2(R_35_13_HAD,R_35_1_PRIOR)
              & prior(R_35_1_PRIOR)
              & to(R_35_1_PRIOR,R_35_3_THE_FRENCH_REVOLUTION) ) )
      & z_35_a_factbook_2_2010_17(Z_35_A_FACTBOOK_2_2010_17,R_35_3_THE_FRENCH_REVOLUTION,R_35_7_1789_1799) ) ).


n35_a_factbook_2_2010 n35_a_factbook_2_2010__1_1_1_1 Prior n35_a_factbook_2_2010__1_1_2_1_1 to n35_a_factbook_2_2010__1_1_2_2_1_1 the n35_a_factbook_2_2010__1_1_2_2_2_1 French n35_a_factbook_2_2010__1_1_2_2_3_1 Revolution n35_a_factbook_2_2010__1_1_2_2_4_1 -LRB- n35_a_factbook_2_2010__1_1_2_2_5_1_1_1 1789 n35_a_factbook_2_2010__1_1_2_2_5_1_2_1 - n35_a_factbook_2_2010__1_1_2_2_5_1_3_1 1799 n35_a_factbook_2_2010__1_1_2_2_6_1 -RRB- n35_a_factbook_2_2010__1_2_1 , n35_a_factbook_2_2010__1_3_1_1 France n35_a_factbook_2_2010__1_4_1 had n35_a_factbook_2_2010__1_5_1_1 no n35_a_factbook_2_2010__1_5_2_1_1 single n35_a_factbook_2_2010__1_5_3_1_1 national n35_a_factbook_2_2010__1_5_4_1_1 legal n35_a_factbook_2_2010__1_5_5_1 system n35_a_factbook_2_2010__1_6_1 . n35_a_factbook_2_2010__1 IP-MAT n35_a_factbook_2_2010__1_1 ADVP-NIM n35_a_factbook_2_2010__1->n35_a_factbook_2_2010__1_1 n35_a_factbook_2_2010__1_2 PUNC n35_a_factbook_2_2010__1->n35_a_factbook_2_2010__1_2 n35_a_factbook_2_2010__1_3 NP-SBJ n35_a_factbook_2_2010__1->n35_a_factbook_2_2010__1_3 n35_a_factbook_2_2010__1_4 HVD;_Tn_ n35_a_factbook_2_2010__1->n35_a_factbook_2_2010__1_4 n35_a_factbook_2_2010__1_5 NP-OB1 n35_a_factbook_2_2010__1->n35_a_factbook_2_2010__1_5 n35_a_factbook_2_2010__1_6 PUNC n35_a_factbook_2_2010__1->n35_a_factbook_2_2010__1_6 n35_a_factbook_2_2010__1_1_1 ADV n35_a_factbook_2_2010__1_1->n35_a_factbook_2_2010__1_1_1 n35_a_factbook_2_2010__1_1_2 PP n35_a_factbook_2_2010__1_1->n35_a_factbook_2_2010__1_1_2 n35_a_factbook_2_2010__1_1_1->n35_a_factbook_2_2010__1_1_1_1 n35_a_factbook_2_2010__1_1_2_1 P-ROLE n35_a_factbook_2_2010__1_1_2->n35_a_factbook_2_2010__1_1_2_1 n35_a_factbook_2_2010__1_1_2_2 NP n35_a_factbook_2_2010__1_1_2->n35_a_factbook_2_2010__1_1_2_2 n35_a_factbook_2_2010__1_1_2_1->n35_a_factbook_2_2010__1_1_2_1_1 n35_a_factbook_2_2010__1_1_2_2_1 D n35_a_factbook_2_2010__1_1_2_2->n35_a_factbook_2_2010__1_1_2_2_1 n35_a_factbook_2_2010__1_1_2_2_2 NPR n35_a_factbook_2_2010__1_1_2_2->n35_a_factbook_2_2010__1_1_2_2_2 n35_a_factbook_2_2010__1_1_2_2_3 NPR n35_a_factbook_2_2010__1_1_2_2->n35_a_factbook_2_2010__1_1_2_2_3 n35_a_factbook_2_2010__1_1_2_2_4 PULB n35_a_factbook_2_2010__1_1_2_2->n35_a_factbook_2_2010__1_1_2_2_4 n35_a_factbook_2_2010__1_1_2_2_5 IP-PPL n35_a_factbook_2_2010__1_1_2_2->n35_a_factbook_2_2010__1_1_2_2_5 n35_a_factbook_2_2010__1_1_2_2_6 PURB n35_a_factbook_2_2010__1_1_2_2->n35_a_factbook_2_2010__1_1_2_2_6 n35_a_factbook_2_2010__1_1_2_2_1->n35_a_factbook_2_2010__1_1_2_2_1_1 n35_a_factbook_2_2010__1_1_2_2_2->n35_a_factbook_2_2010__1_1_2_2_2_1 n35_a_factbook_2_2010__1_1_2_2_3->n35_a_factbook_2_2010__1_1_2_2_3_1 n35_a_factbook_2_2010__1_1_2_2_4->n35_a_factbook_2_2010__1_1_2_2_4_1 n35_a_factbook_2_2010__1_1_2_2_5_1 NP-PRD n35_a_factbook_2_2010__1_1_2_2_5->n35_a_factbook_2_2010__1_1_2_2_5_1 n35_a_factbook_2_2010__1_1_2_2_5_1_1 NPR n35_a_factbook_2_2010__1_1_2_2_5_1->n35_a_factbook_2_2010__1_1_2_2_5_1_1 n35_a_factbook_2_2010__1_1_2_2_5_1_2 PUNC n35_a_factbook_2_2010__1_1_2_2_5_1->n35_a_factbook_2_2010__1_1_2_2_5_1_2 n35_a_factbook_2_2010__1_1_2_2_5_1_3 NPR n35_a_factbook_2_2010__1_1_2_2_5_1->n35_a_factbook_2_2010__1_1_2_2_5_1_3 n35_a_factbook_2_2010__1_1_2_2_5_1_1->n35_a_factbook_2_2010__1_1_2_2_5_1_1_1 n35_a_factbook_2_2010__1_1_2_2_5_1_2->n35_a_factbook_2_2010__1_1_2_2_5_1_2_1 n35_a_factbook_2_2010__1_1_2_2_5_1_3->n35_a_factbook_2_2010__1_1_2_2_5_1_3_1 n35_a_factbook_2_2010__1_1_2_2_6->n35_a_factbook_2_2010__1_1_2_2_6_1 n35_a_factbook_2_2010__1_2->n35_a_factbook_2_2010__1_2_1 n35_a_factbook_2_2010__1_3_1 NPR n35_a_factbook_2_2010__1_3->n35_a_factbook_2_2010__1_3_1 n35_a_factbook_2_2010__1_3_1->n35_a_factbook_2_2010__1_3_1_1 n35_a_factbook_2_2010__1_4->n35_a_factbook_2_2010__1_4_1 n35_a_factbook_2_2010__1_5_1 Q n35_a_factbook_2_2010__1_5->n35_a_factbook_2_2010__1_5_1 n35_a_factbook_2_2010__1_5_2 ADJP n35_a_factbook_2_2010__1_5->n35_a_factbook_2_2010__1_5_2 n35_a_factbook_2_2010__1_5_3 ADJP n35_a_factbook_2_2010__1_5->n35_a_factbook_2_2010__1_5_3 n35_a_factbook_2_2010__1_5_4 ADJP n35_a_factbook_2_2010__1_5->n35_a_factbook_2_2010__1_5_4 n35_a_factbook_2_2010__1_5_5 N n35_a_factbook_2_2010__1_5->n35_a_factbook_2_2010__1_5_5 n35_a_factbook_2_2010__1_5_1->n35_a_factbook_2_2010__1_5_1_1 n35_a_factbook_2_2010__1_5_2_1 ADJ n35_a_factbook_2_2010__1_5_2->n35_a_factbook_2_2010__1_5_2_1 n35_a_factbook_2_2010__1_5_2_1->n35_a_factbook_2_2010__1_5_2_1_1 n35_a_factbook_2_2010__1_5_3_1 ADJ n35_a_factbook_2_2010__1_5_3->n35_a_factbook_2_2010__1_5_3_1 n35_a_factbook_2_2010__1_5_3_1->n35_a_factbook_2_2010__1_5_3_1_1 n35_a_factbook_2_2010__1_5_4_1 ADJ n35_a_factbook_2_2010__1_5_4->n35_a_factbook_2_2010__1_5_4_1 n35_a_factbook_2_2010__1_5_4_1->n35_a_factbook_2_2010__1_5_4_1_1 n35_a_factbook_2_2010__1_5_5->n35_a_factbook_2_2010__1_5_5_1 n35_a_factbook_2_2010__1_6->n35_a_factbook_2_2010__1_6_1 
( (IP-MAT (ADVP-NIM (ADV Prior;{prior})
                    (PP (P-ROLE to;{to})
                        (NP (D the;{the})
                            (NPR French;{French})
                            (NPR Revolution;{Revolution})
                            (PULB -LRB-)
                            (IP-PPL (NP-PRD (NPR 1789)
                                            (PUNC <hyphen>)
                                            (NPR 1799)))
                            (PURB -RRB-))))
          (PUNC ,)
          (NP-SBJ (NPR France;{France}))
          (HVD;_Tn_ had;{have})
          (NP-OB1 (Q no;{no})
                  (ADJP (ADJ single;{single}))
                  (ADJP (ADJ national;{national}))
                  (ADJP (ADJ legal;{legal}))
                  (N system;{system}))
          (PUNC .))
  (ID 35_a_factbook_2_2010))