TSPC 60_a_factbook_2

60_a_factbook_2_2010
The Civil Code was established under Napoleon I, enacted in 1804, and officially designated the Code Napoleon in 1807.

( (IP-MAT (NP-SBJ (D The;{the})
                  (NPR Civil;{Civil})
                  (NPR Code;{Code}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (ILYR (ILYR (VVN;__ established;{establish})
                                  (PP-NIM (P-ROLE under;{under})
                                          (NP (NPR Napoleon;{Napoleon})
                                              (NPR I;{I}))))
                            (PUNC ,)
                            (CONJP (ILYR (VVN;__ enacted;{enact})
                                         (PP-NIM (P-ROLE in;{in})
                                                 (NP (NPR 1804)))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (ADVP-NIM (ADV officially;{officially}))
                                         (VVN;__ designated;{designate})
                                         (NP-OB1 (D the;{the})
                                                 (NPR Code;{Code})
                                                 (NPR Napoleon;{Napoleon}))
                                         (PP-NIM (P-ROLE in;{in})
                                                 (NP (NPR 1807)))))))
          (PUNC .))
  (ID 60_a_factbook_2_2010))

arc(r_0060_0004__was,r_0060_0014__and,scope).
arc(r_0060_0005__established,r_0060_0001__The_r_0060_0002__Civil_r_0060_0003__Code,arg0).
arc(r_0060_0005__established,r_0060_0007__Napoleon_r_0060_0008__I,r_0060_0006__under__nim).
arc(r_0060_0010__enacted,r_0060_0001__The_r_0060_0002__Civil_r_0060_0003__Code,arg0).
arc(r_0060_0010__enacted,r_0060_0012__1804,r_0060_0011__in__nim).
arc(r_0060_0014__and,r_0060_0005__established,conj1).
arc(r_0060_0014__and,r_0060_0010__enacted,conj2).
arc(r_0060_0014__and,r_0060_0016__designated,conj3).
arc(r_0060_0016__designated,r_0060_0001__The_r_0060_0002__Civil_r_0060_0003__Code,arg0).
arc(r_0060_0016__designated,r_0060_0015__officially,nim).
arc(r_0060_0016__designated,r_0060_0017__the_r_0060_0018__Code_r_0060_0019__Napoleon,arg1).
arc(r_0060_0016__designated,r_0060_0021__1807,r_0060_0020__in__nim).

fof(formula,axiom,
    ? [R_0060_0001__THE_R_0060_0002__CIVIL_R_0060_0003__CODE,R_0060_0007__NAPOLEON_R_0060_0008__I,R_0060_0005__ESTABLISHED,R_0060_0012__1804,R_0060_0010__ENACTED,R_0060_0015__OFFICIALLY,R_0060_0017__THE_R_0060_0018__CODE_R_0060_0019__NAPOLEON,R_0060_0021__1807,R_0060_0016__DESIGNATED,R_0060_0014__AND,R_0060_0004__WAS] :
      ( r_0060_0001__The_r_0060_0002__Civil_r_0060_0003__Code(R_0060_0001__THE_R_0060_0002__CIVIL_R_0060_0003__CODE)
      & r_0060_0007__Napoleon_r_0060_0008__I(R_0060_0007__NAPOLEON_R_0060_0008__I)
      & r_0060_0012__1804(R_0060_0012__1804)
      & r_0060_0015__officially(R_0060_0015__OFFICIALLY)
      & r_0060_0017__the_r_0060_0018__Code_r_0060_0019__Napoleon(R_0060_0017__THE_R_0060_0018__CODE_R_0060_0019__NAPOLEON)
      & r_0060_0021__1807(R_0060_0021__1807)
      & r_0060_0004__was(R_0060_0004__WAS)
      & has_keep_scope(R_0060_0004__WAS,R_0060_0014__AND)
      & r_0060_0014__and(R_0060_0014__AND)
      & has_conj3(R_0060_0014__AND,R_0060_0016__DESIGNATED)
      & r_0060_0016__designated(R_0060_0016__DESIGNATED)
      & has_r_0060_0020__in__nim(R_0060_0016__DESIGNATED,R_0060_0021__1807)
      & has_arg1(R_0060_0016__DESIGNATED,R_0060_0017__THE_R_0060_0018__CODE_R_0060_0019__NAPOLEON)
      & has_nim(R_0060_0016__DESIGNATED,R_0060_0015__OFFICIALLY)
      & has_arg0(R_0060_0016__DESIGNATED,R_0060_0001__THE_R_0060_0002__CIVIL_R_0060_0003__CODE)
      & has_conj2(R_0060_0014__AND,R_0060_0010__ENACTED)
      & r_0060_0010__enacted(R_0060_0010__ENACTED)
      & has_r_0060_0011__in__nim(R_0060_0010__ENACTED,R_0060_0012__1804)
      & has_arg0(R_0060_0010__ENACTED,R_0060_0001__THE_R_0060_0002__CIVIL_R_0060_0003__CODE)
      & has_conj1(R_0060_0014__AND,R_0060_0005__ESTABLISHED)
      & r_0060_0005__established(R_0060_0005__ESTABLISHED)
      & has_r_0060_0006__under__nim(R_0060_0005__ESTABLISHED,R_0060_0007__NAPOLEON_R_0060_0008__I)
      & has_arg0(R_0060_0005__ESTABLISHED,R_0060_0001__THE_R_0060_0002__CIVIL_R_0060_0003__CODE) ) ).