TSPC 35_a_factbook_2

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

( (IP-MAT (ADVP-NIM (ADV Prior;{prior})
                    (PP (P-ROLE to;{to})
                        (NP (D the;{the})
                            (NPR French;{French})
                            (NPR Revolution;{Revolution})
                            (PULB -LRB-)
                            (PRN (NP (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))

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,nim).
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,attrib).
arc(r_0035_0018__system,r_0035_0016__national,attrib).
arc(r_0035_0018__system,r_0035_0017__legal,attrib).
arc(z_0035_5002,r_0035_0003__the_r_0035_0004__French_r_0035_0005__Revolution,arg0).
arc(z_0035_5002,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_0035_5002] :
      ( 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_0035_5002(Z_0035_5002)
      & has_prd(Z_0035_5002,R_0035_0007__1789_R_0035_0009__1799)
      & has_arg0(Z_0035_5002,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_attrib(R_0035_0018__SYSTEM,R_0035_0017__LEGAL)
            & has_attrib(R_0035_0018__SYSTEM,R_0035_0016__NATIONAL)
            & has_attrib(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_nim(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) ) ) ) ).