TSPC 84_a_factbook_2

84_a_factbook_2_2010
The Dutch jurist / philosopher Hugo Grotius was the first to attempt to reduce Roman-Dutch civil law into a system in his Jurisprudence of Holland (written 1619-20, commentary published 1621).

arc(r_0084_0001__The_r_0084_0003__jurist_r_0084_0005__philosopher, r_0084_0002__Dutch, attrib7).
arc(r_0084_0008__was, r_0084_0006__Hugo_r_0084_0007__Grotius, arg0).
arc(r_0084_0008__was, r_0084_0009__the_r_0084_0010__first, prd).
arc(r_0084_0011__to_r_0084_0012__attempt, r_0084_0009__the_r_0084_0010__first, arg0).
arc(r_0084_0011__to_r_0084_0012__attempt, r_0084_0013__to_r_0084_0014__reduce, arg1).
arc(r_0084_0013__to_r_0084_0014__reduce, r_0084_0009__the_r_0084_0010__first, arg0).
arc(r_0084_0013__to_r_0084_0014__reduce, r_0084_0017__law, arg1).
arc(r_0084_0013__to_r_0084_0014__reduce, r_0084_0019__a_r_0084_0020__system, prd).
arc(r_0084_0017__law, r_0084_0015__Roman__hyphen__Dutch, attrib40).
arc(r_0084_0017__law, r_0084_0016__civil, attrib43).
arc(r_0084_0019__a_r_0084_0020__system, r_0084_0023__Jurisprudence, r_0084_0021__in).
arc(r_0084_0023__Jurisprudence, r_0084_0006__Hugo_r_0084_0007__Grotius, gen).
arc(r_0084_0023__Jurisprudence, r_0084_0025__Holland, r_0084_0024__of).
arc(r_0084_0027__written, r_0084_0028__1619__hyphen__20, nim82).
arc(r_0084_0027__written, z_000_84_a_factbook_2_2010_76, arg1).
arc(r_0084_0027__written, z_000_84_a_factbook_2_2010_78, arg0).
arc(r_0084_0031__published, r_0084_0030__commentary, arg1).
arc(r_0084_0031__published, r_0084_0032__1621, nim96).
arc(r_0084_0031__published, z_000_84_a_factbook_2_2010_92, arg0).
arc(z_000_84_a_factbook_2_2010_3, r_0084_0001__The_r_0084_0003__jurist_r_0084_0005__philosopher, prd).
arc(z_000_84_a_factbook_2_2010_3, r_0084_0006__Hugo_r_0084_0007__Grotius, arg0).
arc(z_000_84_a_factbook_2_2010_73, r_0084_0019__a_r_0084_0020__system, arg0).
arc(z_000_84_a_factbook_2_2010_73, z_000_84_a_factbook_2_2010_75, prd).
arc(z_000_84_a_factbook_2_2010_75, r_0084_0030__commentary, conj2).
arc(z_000_84_a_factbook_2_2010_75, z_000_84_a_factbook_2_2010_76, conj1).

fof(formula,axiom,
    ? [R_0084_0006__HUGO_R_0084_0007__GROTIUS,R_0084_0009__THE_R_0084_0010__FIRST,R_0084_0008__WAS,R_0084_0015__ROMAN__HYPHEN__DUTCH,R_0084_0016__CIVIL,R_0084_0017__LAW,R_0084_0025__HOLLAND,R_0084_0023__JURISPRUDENCE,R_0084_0019__A_R_0084_0020__SYSTEM,R_0084_0013__TO_R_0084_0014__REDUCE,R_0084_0011__TO_R_0084_0012__ATTEMPT,R_0084_0028__1619__HYPHEN__20,Z_000_84_A_FACTBOOK_2_2010_76,Z_000_84_A_FACTBOOK_2_2010_78,R_0084_0027__WRITTEN,R_0084_0030__COMMENTARY,R_0084_0032__1621,Z_000_84_A_FACTBOOK_2_2010_92,R_0084_0031__PUBLISHED,R_0084_0002__DUTCH,R_0084_0001__THE_R_0084_0003__JURIST_R_0084_0005__PHILOSOPHER,Z_000_84_A_FACTBOOK_2_2010_3,Z_000_84_A_FACTBOOK_2_2010_75,Z_000_84_A_FACTBOOK_2_2010_73] :
      ( r_0084_0002__Dutch(R_0084_0002__DUTCH)
      & r_0084_0006__Hugo_r_0084_0007__Grotius(R_0084_0006__HUGO_R_0084_0007__GROTIUS)
      & r_0084_0009__the_r_0084_0010__first(R_0084_0009__THE_R_0084_0010__FIRST)
      & r_0084_0015__Roman__hyphen__Dutch(R_0084_0015__ROMAN__HYPHEN__DUTCH)
      & r_0084_0016__civil(R_0084_0016__CIVIL)
      & r_0084_0025__Holland(R_0084_0025__HOLLAND)
      & r_0084_0028__1619__hyphen__20(R_0084_0028__1619__HYPHEN__20)
      & r_0084_0030__commentary(R_0084_0030__COMMENTARY)
      & r_0084_0032__1621(R_0084_0032__1621)
      & z_000_84_a_factbook_2_2010_76(Z_000_84_A_FACTBOOK_2_2010_76)
      & z_000_84_a_factbook_2_2010_78(Z_000_84_A_FACTBOOK_2_2010_78)
      & z_000_84_a_factbook_2_2010_92(Z_000_84_A_FACTBOOK_2_2010_92)
      & z_000_84_a_factbook_2_2010_73(Z_000_84_A_FACTBOOK_2_2010_73)
      & has_prd(Z_000_84_A_FACTBOOK_2_2010_73,Z_000_84_A_FACTBOOK_2_2010_75)
      & z_000_84_a_factbook_2_2010_75(Z_000_84_A_FACTBOOK_2_2010_75)
      & has_conj1(Z_000_84_A_FACTBOOK_2_2010_75,Z_000_84_A_FACTBOOK_2_2010_76)
      & has_conj2(Z_000_84_A_FACTBOOK_2_2010_75,R_0084_0030__COMMENTARY)
      & has_arg0(Z_000_84_A_FACTBOOK_2_2010_73,R_0084_0019__A_R_0084_0020__SYSTEM)
      & r_0084_0019__a_r_0084_0020__system(R_0084_0019__A_R_0084_0020__SYSTEM)
      & has_r_0084_0021__in(R_0084_0019__A_R_0084_0020__SYSTEM,R_0084_0023__JURISPRUDENCE)
      & r_0084_0023__Jurisprudence(R_0084_0023__JURISPRUDENCE)
      & has_r_0084_0024__of(R_0084_0023__JURISPRUDENCE,R_0084_0025__HOLLAND)
      & has_gen(R_0084_0023__JURISPRUDENCE,R_0084_0006__HUGO_R_0084_0007__GROTIUS)
      & z_000_84_a_factbook_2_2010_3(Z_000_84_A_FACTBOOK_2_2010_3)
      & has_arg0(Z_000_84_A_FACTBOOK_2_2010_3,R_0084_0006__HUGO_R_0084_0007__GROTIUS)
      & has_prd(Z_000_84_A_FACTBOOK_2_2010_3,R_0084_0001__THE_R_0084_0003__JURIST_R_0084_0005__PHILOSOPHER)
      & r_0084_0001__The_r_0084_0003__jurist_r_0084_0005__philosopher(R_0084_0001__THE_R_0084_0003__JURIST_R_0084_0005__PHILOSOPHER)
      & has_attrib7(R_0084_0001__THE_R_0084_0003__JURIST_R_0084_0005__PHILOSOPHER,R_0084_0002__DUTCH)
      & r_0084_0031__published(R_0084_0031__PUBLISHED)
      & has_arg0(R_0084_0031__PUBLISHED,Z_000_84_A_FACTBOOK_2_2010_92)
      & has_nim96(R_0084_0031__PUBLISHED,R_0084_0032__1621)
      & has_arg1(R_0084_0031__PUBLISHED,R_0084_0030__COMMENTARY)
      & r_0084_0027__written(R_0084_0027__WRITTEN)
      & has_arg0(R_0084_0027__WRITTEN,Z_000_84_A_FACTBOOK_2_2010_78)
      & has_arg1(R_0084_0027__WRITTEN,Z_000_84_A_FACTBOOK_2_2010_76)
      & has_nim82(R_0084_0027__WRITTEN,R_0084_0028__1619__HYPHEN__20)
      & r_0084_0011__to_r_0084_0012__attempt(R_0084_0011__TO_R_0084_0012__ATTEMPT)
      & has_arg1(R_0084_0011__TO_R_0084_0012__ATTEMPT,R_0084_0013__TO_R_0084_0014__REDUCE)
      & r_0084_0013__to_r_0084_0014__reduce(R_0084_0013__TO_R_0084_0014__REDUCE)
      & has_prd(R_0084_0013__TO_R_0084_0014__REDUCE,R_0084_0019__A_R_0084_0020__SYSTEM)
      & has_arg1(R_0084_0013__TO_R_0084_0014__REDUCE,R_0084_0017__LAW)
      & r_0084_0017__law(R_0084_0017__LAW)
      & has_attrib43(R_0084_0017__LAW,R_0084_0016__CIVIL)
      & has_attrib40(R_0084_0017__LAW,R_0084_0015__ROMAN__HYPHEN__DUTCH)
      & has_arg0(R_0084_0013__TO_R_0084_0014__REDUCE,R_0084_0009__THE_R_0084_0010__FIRST)
      & has_arg0(R_0084_0011__TO_R_0084_0012__ATTEMPT,R_0084_0009__THE_R_0084_0010__FIRST)
      & r_0084_0008__was(R_0084_0008__WAS)
      & has_prd(R_0084_0008__WAS,R_0084_0009__THE_R_0084_0010__FIRST)
      & has_arg0(R_0084_0008__WAS,R_0084_0006__HUGO_R_0084_0007__GROTIUS) ) ).

( (IP-MAT (NP-SBJ;{HUGO_GROTIUS} (IP-PPL (NP-PRD (D The;{the})
                                                 (ADJP (ADJ Dutch;{dutch}))
                                                 (N jurist;{jurist})
                                                 (PUNC <sol>)
                                                 (N philosopher;{philosopher})))
                                 (NPR Hugo;{Hugo})
                                 (NPR Grotius;{Grotius}))
          (BED;_Ln_ was;{be})
          (NP-PRD (D the;{the})
                  (NUM first;{first})
                  (IP-INF-REL (NP-SBJ *T*)
                              (TO to;{to})
                              (VB;__ attempt;{attempt})
                              (IP-INF-OB1 (TO to;{to})
                                          (VB;__ reduce;{reduce})
                                          (NP-OB1 (ADJP (ADJ Roman_<hyphen>_Dutch;{roman_dutch}))
                                                  (ADJP (ADJ civil;{civil}))
                                                  (N law;{law}))
                                          (PP-PRD (P-ROLE into;{into})
                                                  (NP (D a;{a})
                                                      (N system;{system})
                                                      (PP (P-ROLE in;{in})
                                                          (NP (NP-GEN;{HUGO_GROTIUS} (PRO;_genm_ his;{his}))
                                                              (N Jurisprudence;{jurisprudence})
                                                              (PP (P-ROLE of;{of})
                                                                  (NP (NPR Holland;{Holland})))))
                                                      (PULB -LRB-)
                                                      (IP-PPL (NP-PRD (NLYR (NLYR (IP-PPL (NP-LGS *)
                                                                                          (VVN;_Tn_ written;{written})
                                                                                          (NP-NIM (NPR 1619_<hyphen>_20;{1619_20}))))
                                                                            (PUNC ,)
                                                                            (CONJP (NLYR (N commentary;{commentary})
                                                                                         (IP-PPL (NP-LGS *)
                                                                                                 (VVN;_Tn_ published;{publish})
                                                                                                 (NP-NIM (NPR 1621))))))))
                                                      (PURB -RRB-))))))
          (PUNC .))
  (ID 84_a_factbook_2_2010))