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_84_8_WAS,R_84_11_TO_ATTEMPT,R_84_13_TO_REDUCE,R_84_9_THE_FIRST,R_84_17_LAW,R_84_15_ROMAN_HYPHEN_DUTCH,R_84_16_CIVIL,R_84_27_WRITTEN,Z_84_A_FACTBOOK_2_2010_78,R_84_28_1619_HYPHEN_20,R_84_31_PUBLISHED,Z_84_A_FACTBOOK_2_2010_92,R_84_32_1621,Z_84_A_FACTBOOK_2_2010_3,R_84_1_THE_JURIST_PHILOSOPHER,R_84_2_DUTCH,Z_84_A_FACTBOOK_2_2010_73,R_84_19_A_SYSTEM,R_84_23_JURISPRUDENCE,R_84_6_HUGO_GROTIUS,R_84_25_HOLLAND,Z_84_A_FACTBOOK_2_2010_75,Z_84_A_FACTBOOK_2_2010_76,R_84_30_COMMENTARY] :
      ( the_first(R_84_9_THE_FIRST)
      & roman_hyphen_Dutch(R_84_15_ROMAN_HYPHEN_DUTCH)
      & civil(R_84_16_CIVIL)
      & 1619_hyphen_20(R_84_28_1619_HYPHEN_20)
      & 1621(R_84_32_1621)
      & dutch(R_84_2_DUTCH)
      & hugo_Grotius(R_84_6_HUGO_GROTIUS)
      & holland(R_84_25_HOLLAND)
      & commentary(R_84_30_COMMENTARY)
      & was(R_84_8_WAS,R_84_6_HUGO_GROTIUS,R_84_9_THE_FIRST)
      & to_attempt(R_84_11_TO_ATTEMPT,R_84_9_THE_FIRST,R_84_13_TO_REDUCE)
      & to_reduce(R_84_13_TO_REDUCE,R_84_9_THE_FIRST,R_84_17_LAW,R_84_19_A_SYSTEM)
      & law(R_84_17_LAW)
      & attrib40(R_84_17_LAW,R_84_15_ROMAN_HYPHEN_DUTCH)
      & attrib43(R_84_17_LAW,R_84_16_CIVIL)
      & a_system(R_84_19_A_SYSTEM)
      & in(R_84_19_A_SYSTEM,R_84_23_JURISPRUDENCE)
      & jurisprudence(R_84_23_JURISPRUDENCE)
      & gen(R_84_23_JURISPRUDENCE,R_84_6_HUGO_GROTIUS)
      & of(R_84_23_JURISPRUDENCE,R_84_25_HOLLAND)
      & written(R_84_27_WRITTEN,Z_84_A_FACTBOOK_2_2010_78,Z_84_A_FACTBOOK_2_2010_76)
      & nim82(R_84_27_WRITTEN,R_84_28_1619_HYPHEN_20)
      & published(R_84_31_PUBLISHED,Z_84_A_FACTBOOK_2_2010_92,R_84_30_COMMENTARY)
      & nim96(R_84_31_PUBLISHED,R_84_32_1621)
      & z_84_a_factbook_2_2010_3(Z_84_A_FACTBOOK_2_2010_3,R_84_6_HUGO_GROTIUS,R_84_1_THE_JURIST_PHILOSOPHER)
      & the_jurist_philosopher(R_84_1_THE_JURIST_PHILOSOPHER)
      & attrib7(R_84_1_THE_JURIST_PHILOSOPHER,R_84_2_DUTCH)
      & z_84_a_factbook_2_2010_73(Z_84_A_FACTBOOK_2_2010_73,R_84_19_A_SYSTEM,Z_84_A_FACTBOOK_2_2010_75)
      & z_84_a_factbook_2_2010_75(Z_84_A_FACTBOOK_2_2010_75)
      & conj1(Z_84_A_FACTBOOK_2_2010_75,Z_84_A_FACTBOOK_2_2010_76)
      & conj2(Z_84_A_FACTBOOK_2_2010_75,R_84_30_COMMENTARY) ) ).

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