arc(r_0046_0004__law, r_0046_0003__international, attrib9).
arc(r_0046_0005__was, r_0046_0006__coined, scope).
arc(r_0046_0006__coined, r_0046_0001__The_r_0046_0002__term, arg1).
arc(r_0046_0006__coined, r_0046_0008__Jeremy_r_0046_0009__Bentham, arg0).
arc(r_0046_0006__coined, r_0046_0011__1780, r_0046_0010__in_nim30).
arc(r_0046_0006__coined, r_0046_0014__Principles, r_0046_0012__in_nim36).
arc(r_0046_0014__Principles, r_0046_0013__his, gen).
arc(r_0046_0014__Principles, r_0046_0017__and, r_0046_0015__of).
arc(r_0046_0017__and, r_0046_0016__Morals, conj1).
arc(r_0046_0017__and, r_0046_0018__Legislation, conj2).
arc(r_0046_0020__though, r_0046_0005__was, scope).
arc(r_0046_0020__though, r_0046_0026__have, restriction).
arc(r_0046_0022__governing, r_0046_0021__laws, arg0).
arc(r_0046_0022__governing, r_0046_0023__relations, arg1).
arc(r_0046_0023__relations, r_0046_0025__states, r_0046_0024__between).
arc(r_0046_0026__have, r_0046_0027__been, scope).
arc(r_0046_0027__been, r_0046_0028__recognized, scope).
arc(r_0046_0028__recognized, r_0046_0021__laws, arg1).
arc(r_0046_0028__recognized, r_0046_0032__times, r_0046_0029__from_nim90).
arc(r_0046_0028__recognized, z_000_46_a_factbook_2_2010_83, arg0).
arc(r_0046_0031__early, r_0046_0030__very, qual92).
arc(r_0046_0032__times, r_0046_0031__early, attrib91).
arc(r_0046_0035__centuries, r_0046_0034__many, attrib103).
arc(r_0046_0035__centuries, r_0046_0036__B_dot_C_dot_, qual108).
arc(z_000_46_a_factbook_2_2010_101, r_0046_0032__times, arg0).
arc(z_000_46_a_factbook_2_2010_101, r_0046_0035__centuries, prd).
arc(z_000_46_a_factbook_2_2010_7, r_0046_0001__The_r_0046_0002__term, arg0).
arc(z_000_46_a_factbook_2_2010_7, r_0046_0004__law, prd).

fof(formula,axiom,
    ? [R_46_20_THOUGH,R_46_26_HAVE_BEEN_RECOGNIZED,Z_46_A_FACTBOOK_2_2010_83,R_46_5_WAS_COINED,R_46_8_JEREMY_BENTHAM,R_46_11_1780,R_46_14_PRINCIPLES,R_46_13_HIS,R_46_17_AND,R_46_16_MORALS,R_46_18_LEGISLATION,R_46_22_GOVERNING,R_46_21_LAWS,R_46_23_RELATIONS,R_46_25_STATES,Z_46_A_FACTBOOK_2_2010_101,R_46_32_TIMES,R_46_31_EARLY,R_46_30_VERY,R_46_35_CENTURIES,R_46_34_MANY,R_46_36_B_DOT_C_DOT_,Z_46_A_FACTBOOK_2_2010_7,R_46_1_THE_TERM,R_46_4_LAW,R_46_3_INTERNATIONAL] :
      ( jeremy_Bentham(R_46_8_JEREMY_BENTHAM)
      & 1780(R_46_11_1780)
      & his(R_46_13_HIS)
      & morals(R_46_16_MORALS)
      & legislation(R_46_18_LEGISLATION)
      & laws(R_46_21_LAWS)
      & states(R_46_25_STATES)
      & very(R_46_30_VERY)
      & many(R_46_34_MANY)
      & b_dot_C_dot_(R_46_36_B_DOT_C_DOT_)
      & the_term(R_46_1_THE_TERM)
      & international(R_46_3_INTERNATIONAL)
      & though(R_46_20_THOUGH)
      & conj1(R_46_20_THOUGH,R_46_26_HAVE_BEEN_RECOGNIZED)
      & have_been_recognized(R_46_26_HAVE_BEEN_RECOGNIZED,Z_46_A_FACTBOOK_2_2010_83,R_46_21_LAWS)
      & from_nim90(R_46_26_HAVE_BEEN_RECOGNIZED,R_46_32_TIMES)
      & times(R_46_32_TIMES)
      & attrib91(R_46_32_TIMES,R_46_31_EARLY)
      & early(R_46_31_EARLY)
      & qual92(R_46_31_EARLY,R_46_30_VERY)
      & conj2(R_46_20_THOUGH,R_46_5_WAS_COINED)
      & was_coined(R_46_5_WAS_COINED,R_46_8_JEREMY_BENTHAM,R_46_1_THE_TERM)
      & in_nim30(R_46_5_WAS_COINED,R_46_11_1780)
      & in_nim36(R_46_5_WAS_COINED,R_46_14_PRINCIPLES)
      & principles(R_46_14_PRINCIPLES)
      & gen(R_46_14_PRINCIPLES,R_46_13_HIS)
      & of(R_46_14_PRINCIPLES,R_46_17_AND)
      & and(R_46_17_AND)
      & conj1(R_46_17_AND,R_46_16_MORALS)
      & conj2(R_46_17_AND,R_46_18_LEGISLATION)
      & governing(R_46_22_GOVERNING,R_46_21_LAWS,R_46_23_RELATIONS)
      & relations(R_46_23_RELATIONS)
      & between(R_46_23_RELATIONS,R_46_25_STATES)
      & z_46_a_factbook_2_2010_101(Z_46_A_FACTBOOK_2_2010_101,R_46_32_TIMES,R_46_35_CENTURIES)
      & centuries(R_46_35_CENTURIES)
      & attrib103(R_46_35_CENTURIES,R_46_34_MANY)
      & qual108(R_46_35_CENTURIES,R_46_36_B_DOT_C_DOT_)
      & z_46_a_factbook_2_2010_7(Z_46_A_FACTBOOK_2_2010_7,R_46_1_THE_TERM,R_46_4_LAW)
      & law(R_46_4_LAW)
      & attrib9(R_46_4_LAW,R_46_3_INTERNATIONAL) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (N term;{term})
                  (IP-PPL (NP-PRD (ADJP (ADJ international;{international}))
                                  (N law;{law}))))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (VVN;_Tn_ coined;{coin})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP;{BENTHAM} (NPR Jeremy;{Jeremy})
                                            (NPR Bentham;{Bentham})))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (NPR 1780)))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (NP-GEN;{BENTHAM} (PRO;_genm_ his;{his}))
                                  (NS Principles;{principle})
                                  (PP (P-ROLE of;{of})
                                      (NP (NLYR (NLYR (NS Morals;{moral}))
                                                (CONJP (CONJ and;{and})
                                                       (NLYR (N Legislation;{legislation})))))))))
          (PUNC ,)
          (PP-SCON (P-CONN though;{though})
                   (IP-ADV (NP-SBJ (NS laws;{law})
                                   (IP-PPL (VAG;_Tn_ governing;{govern})
                                           (NP-OB1 (NS relations;{relation})
                                                   (PP (P-ROLE between;{between})
                                                       (NP (NS states;{state}))))))
                           (HVP;_cat_Ve_ have;{have})
                           (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                       (IP-PPL-CAT (NP-LGS *)
                                                   (VVN;_Tn_ recognized;{recognize})
                                                   (PP-NIM (P-ROLE from;{from})
                                                           (NP (ADJP (ADVP (ADV very;{very}))
                                                                     (ADJ early;{early}))
                                                               (NS times;{time})
                                                               (PULB -LRB-)
                                                               (IP-PPL (NP-PRD (ADJP (ADJ many;{many}))
                                                                               (NS centuries;{century})
                                                                               (ADVP (ADV B<dot>C<dot>))))
                                                               (PURB -RRB-)))))))
          (PUNC .))
  (ID 46_a_factbook_2_2010))