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).

fof(formula,axiom,
    ? [R_0035_0003__THE_R_0035_0004__FRENCH_R_0035_0005__REVOLUTION,R_0035_0007__1789_R_0035_0009__1799,Z_000_35_A_FACTBOOK_2_2010_17] :
      ( r_0035_0003__the_r_0035_0004__French_r_0035_0005__Revolution(R_0035_0003__THE_R_0035_0004__FRENCH_R_0035_0005__REVOLUTION)
      & r_0035_0007__1789_r_0035_0009__1799(R_0035_0007__1789_R_0035_0009__1799)
      & z_000_35_a_factbook_2_2010_17(Z_000_35_A_FACTBOOK_2_2010_17)
      & has_prd(Z_000_35_A_FACTBOOK_2_2010_17,R_0035_0007__1789_R_0035_0009__1799)
      & has_arg0(Z_000_35_A_FACTBOOK_2_2010_17,R_0035_0003__THE_R_0035_0004__FRENCH_R_0035_0005__REVOLUTION)
      & ! [R_0035_0018__SYSTEM,R_0035_0015__SINGLE,R_0035_0016__NATIONAL,R_0035_0017__LEGAL] :
          ( ( r_0035_0015__single(R_0035_0015__SINGLE)
            & r_0035_0016__national(R_0035_0016__NATIONAL)
            & r_0035_0017__legal(R_0035_0017__LEGAL)
            & r_0035_0018__system(R_0035_0018__SYSTEM)
            & has_attrib43(R_0035_0018__SYSTEM,R_0035_0017__LEGAL)
            & has_attrib40(R_0035_0018__SYSTEM,R_0035_0016__NATIONAL)
            & has_attrib37(R_0035_0018__SYSTEM,R_0035_0015__SINGLE) )
         => ? [R_0035_0001__PRIOR,R_0035_0012__FRANCE,R_0035_0013__HAD] :
              ( r_0035_0012__France(R_0035_0012__FRANCE)
              & r_0035_0013__had(R_0035_0013__HAD)
              & has_arg1(R_0035_0013__HAD,R_0035_0018__SYSTEM)
              & has_arg0(R_0035_0013__HAD,R_0035_0012__FRANCE)
              & has_nim2(R_0035_0013__HAD,R_0035_0001__PRIOR)
              & r_0035_0001__Prior(R_0035_0001__PRIOR)
              & has_r_0035_0002__to(R_0035_0001__PRIOR,R_0035_0003__THE_R_0035_0004__FRENCH_R_0035_0005__REVOLUTION) ) ) ) ).

( (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))