TSPC 132_a_hedgehog

132_a_hedgehog
Finally, the legislation introduced in this House, to my great despair, in 1566 which led to the bounty of a tuppence on a hedgehog was based on a misunderstanding: the idea that the hedgehog fed on the teats of a recumbent cow in order to feed itself on milk.

( (IP-MAT (ADVP-NIM (ADV Finally;{finally}))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (N legislation;{legislation})
                  (IP-PPL (VVN;_I_ introduced;{introduce})
                          (PP-NIM (P-ROLE in;{in})
                                  (NP (D this;{this})
                                      (NPR House;{House})))
                          (PUNC ,)
                          (PP-NIM (P-ROLE to;{to})
                                  (NP (NP-GEN (PRO;_genm_ my;{my}))
                                      (ADJP (ADJ great;{great}))
                                      (N despair;{despair})))
                          (PUNC ,)
                          (PP-NIM (P-ROLE in;{in})
                                  (NP (NPR 1566))))
                  (IP-REL (NP-SBJ (RPRO which;{which}))
                          (VBD;_Ipr_ led;{lead[to]})
                          (PP-CLR (P-ROLE to;{to})
                                  (NP (D the;{the})
                                      (N bounty;{bounty})
                                      (PP (P-ROLE of;{of})
                                          (NP (D a;{a})
                                              (N tuppence;{tuppence})))
                                      (PP (P-ROLE on;{on})
                                          (NP (D a;{a})
                                              (N hedgehog;{hedgehog})))))))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_phr_Vn.pr_ based;{base[on]})
                      (PP-CLR (P-ROLE on;{on})
                              (NP (D a;{a})
                                  (N misunderstanding;{misunderstanding})
                                  (PUNC :)
                                  (PRN (NP (D the;{the})
                                           (N idea;{idea})
                                           (CP-THT (IP-SUB (C that;{that})
                                                           (NP-SBJ;{HEDGEHOG} (D the;{the})
                                                                              (N hedgehog;{hedgehog}))
                                                           (VBD;_I_ fed;{feed})
                                                           (PP-NIM (P-ROLE on;{on})
                                                                   (NP (D the;{the})
                                                                       (NS teats;{teat})
                                                                       (PP (P-ROLE of;{of})
                                                                           (NP (D a;{a})
                                                                               (ADJP (ADJ recumbent;{recumbent}))
                                                                               (N cow;{cow})))))
                                                           (PP-SCON (P-CONN in_order;{in_order})
                                                                    (IP-INF (TO to;{to})
                                                                            (VB;_Tn_ feed;{feed})
                                                                            (NP-OB1;{HEDGEHOG} (PNX itself;{itself}))
                                                                            (PP-NIM (P-ROLE on;{on})
                                                                                    (NP (N milk;{milk}))))))))))))
          (PUNC .))
  (ID 132_a_hedgehog;speaker=Stewart))

arc(r_0132_0005__introduced,r_0132_0003__the_r_0132_0004__legislation,inv_arg0).
arc(r_0132_0005__introduced,r_0132_0007__this_r_0132_0008__House,r_0132_0006__in__nim).
arc(r_0132_0005__introduced,r_0132_0013__despair,r_0132_0010__to__nim).
arc(r_0132_0005__introduced,r_0132_0016__1566,r_0132_0015__in__nim).
arc(r_0132_0013__despair,r_0132_0011__my,gen).
arc(r_0132_0013__despair,r_0132_0012__great,attrib).
arc(r_0132_0018__led_r_0132_0019__to,r_0132_0003__the_r_0132_0004__legislation,arg0).
arc(r_0132_0018__led_r_0132_0019__to,r_0132_0020__the_r_0132_0021__bounty,arg1).
arc(r_0132_0020__the_r_0132_0021__bounty,r_0132_0023__a_r_0132_0024__tuppence,r_0132_0022__of).
arc(r_0132_0020__the_r_0132_0021__bounty,r_0132_0026__a_r_0132_0027__hedgehog,r_0132_0025__on).
arc(r_0132_0028__was,r_0132_0001__Finally,nim).
arc(r_0132_0028__was,r_0132_0029__based,scope).
arc(r_0132_0029__based,r_0132_0003__the_r_0132_0004__legislation,arg1).
arc(r_0132_0029__based,r_0132_0031__a_r_0132_0032__misunderstanding,r_0132_0030__on__clr).
arc(r_0132_0029__based,z_0132_5025___star_,arg0).
arc(r_0132_0034__the_r_0132_0035__idea,r_0132_0047__in_order,emb).
arc(r_0132_0039__fed,r_0132_0037__the_r_0132_0038__hedgehog,arg0).
arc(r_0132_0039__fed,r_0132_0041__the_r_0132_0042__teats,r_0132_0040__on__nim).
arc(r_0132_0041__the_r_0132_0042__teats,r_0132_0044__a_r_0132_0046__cow,r_0132_0043__of).
arc(r_0132_0044__a_r_0132_0046__cow,r_0132_0045__recumbent,attrib).
arc(r_0132_0047__in_order,r_0132_0039__fed,scope).
arc(r_0132_0047__in_order,r_0132_0049__feed,restriction).
arc(r_0132_0049__feed,r_0132_0037__the_r_0132_0038__hedgehog,arg0).
arc(r_0132_0049__feed,r_0132_0037__the_r_0132_0038__hedgehog,arg1).
arc(r_0132_0049__feed,r_0132_0052__milk,r_0132_0051__on__nim).
arc(z_0132_5023,r_0132_0031__a_r_0132_0032__misunderstanding,arg0).
arc(z_0132_5023,r_0132_0034__the_r_0132_0035__idea,prd).

fof(formula,axiom,
    ? [R_0132_0007__THIS_R_0132_0008__HOUSE,R_0132_0011__MY,R_0132_0012__GREAT,R_0132_0013__DESPAIR,R_0132_0016__1566,R_0132_0005__INTRODUCED,R_0132_0003__THE_R_0132_0004__LEGISLATION,R_0132_0023__A_R_0132_0024__TUPPENCE,R_0132_0026__A_R_0132_0027__HEDGEHOG,R_0132_0020__THE_R_0132_0021__BOUNTY,R_0132_0018__LED_R_0132_0019__TO,R_0132_0001__FINALLY,R_0132_0031__A_R_0132_0032__MISUNDERSTANDING,Z_0132_5025___STAR_,R_0132_0028__WAS_R_0132_0029__BASED,R_0132_0037__THE_R_0132_0038__HEDGEHOG,R_0132_0045__RECUMBENT,R_0132_0044__A_R_0132_0046__COW,R_0132_0041__THE_R_0132_0042__TEATS,R_0132_0039__FED,R_0132_0052__MILK,R_0132_0049__FEED,R_0132_0047__IN_ORDER,R_0132_0034__THE_R_0132_0035__IDEA,Z_0132_5023] :
      ( r_0132_0001__Finally(R_0132_0001__FINALLY)
      & r_0132_0007__this_r_0132_0008__House(R_0132_0007__THIS_R_0132_0008__HOUSE)
      & r_0132_0011__my(R_0132_0011__MY)
      & r_0132_0012__great(R_0132_0012__GREAT)
      & r_0132_0016__1566(R_0132_0016__1566)
      & r_0132_0023__a_r_0132_0024__tuppence(R_0132_0023__A_R_0132_0024__TUPPENCE)
      & r_0132_0026__a_r_0132_0027__hedgehog(R_0132_0026__A_R_0132_0027__HEDGEHOG)
      & r_0132_0031__a_r_0132_0032__misunderstanding(R_0132_0031__A_R_0132_0032__MISUNDERSTANDING)
      & r_0132_0037__the_r_0132_0038__hedgehog(R_0132_0037__THE_R_0132_0038__HEDGEHOG)
      & r_0132_0045__recumbent(R_0132_0045__RECUMBENT)
      & r_0132_0052__milk(R_0132_0052__MILK)
      & z_0132_5025___star_(Z_0132_5025___STAR_)
      & z_0132_5023(Z_0132_5023)
      & has_prd(Z_0132_5023,R_0132_0034__THE_R_0132_0035__IDEA)
      & r_0132_0034__the_r_0132_0035__idea(R_0132_0034__THE_R_0132_0035__IDEA)
      & has_emb(R_0132_0034__THE_R_0132_0035__IDEA,R_0132_0047__IN_ORDER)
      & r_0132_0047__in_order(R_0132_0047__IN_ORDER)
      & has_conj1(R_0132_0047__IN_ORDER,R_0132_0049__FEED)
      & r_0132_0049__feed(R_0132_0049__FEED)
      & has_r_0132_0051__on__nim(R_0132_0049__FEED,R_0132_0052__MILK)
      & has_arg1(R_0132_0049__FEED,R_0132_0037__THE_R_0132_0038__HEDGEHOG)
      & has_arg0(R_0132_0049__FEED,R_0132_0037__THE_R_0132_0038__HEDGEHOG)
      & has_conj2(R_0132_0047__IN_ORDER,R_0132_0039__FED)
      & r_0132_0039__fed(R_0132_0039__FED)
      & has_r_0132_0040__on__nim(R_0132_0039__FED,R_0132_0041__THE_R_0132_0042__TEATS)
      & r_0132_0041__the_r_0132_0042__teats(R_0132_0041__THE_R_0132_0042__TEATS)
      & has_r_0132_0043__of(R_0132_0041__THE_R_0132_0042__TEATS,R_0132_0044__A_R_0132_0046__COW)
      & r_0132_0044__a_r_0132_0046__cow(R_0132_0044__A_R_0132_0046__COW)
      & has_attrib(R_0132_0044__A_R_0132_0046__COW,R_0132_0045__RECUMBENT)
      & has_arg0(R_0132_0039__FED,R_0132_0037__THE_R_0132_0038__HEDGEHOG)
      & has_arg0(Z_0132_5023,R_0132_0031__A_R_0132_0032__MISUNDERSTANDING)
      & r_0132_0028__was_r_0132_0029__based(R_0132_0028__WAS_R_0132_0029__BASED)
      & has_arg0(R_0132_0028__WAS_R_0132_0029__BASED,Z_0132_5025___STAR_)
      & has_r_0132_0030__on__clr(R_0132_0028__WAS_R_0132_0029__BASED,R_0132_0031__A_R_0132_0032__MISUNDERSTANDING)
      & has_arg1(R_0132_0028__WAS_R_0132_0029__BASED,R_0132_0003__THE_R_0132_0004__LEGISLATION)
      & r_0132_0003__the_r_0132_0004__legislation(R_0132_0003__THE_R_0132_0004__LEGISLATION)
      & has_inv_arg0(R_0132_0003__THE_R_0132_0004__LEGISLATION,R_0132_0005__INTRODUCED)
      & r_0132_0005__introduced(R_0132_0005__INTRODUCED)
      & has_r_0132_0015__in__nim(R_0132_0005__INTRODUCED,R_0132_0016__1566)
      & has_r_0132_0010__to__nim(R_0132_0005__INTRODUCED,R_0132_0013__DESPAIR)
      & r_0132_0013__despair(R_0132_0013__DESPAIR)
      & has_attrib(R_0132_0013__DESPAIR,R_0132_0012__GREAT)
      & has_gen(R_0132_0013__DESPAIR,R_0132_0011__MY)
      & has_r_0132_0006__in__nim(R_0132_0005__INTRODUCED,R_0132_0007__THIS_R_0132_0008__HOUSE)
      & has_nim(R_0132_0028__WAS_R_0132_0029__BASED,R_0132_0001__FINALLY)
      & r_0132_0018__led_r_0132_0019__to(R_0132_0018__LED_R_0132_0019__TO)
      & has_arg1(R_0132_0018__LED_R_0132_0019__TO,R_0132_0020__THE_R_0132_0021__BOUNTY)
      & r_0132_0020__the_r_0132_0021__bounty(R_0132_0020__THE_R_0132_0021__BOUNTY)
      & has_r_0132_0025__on(R_0132_0020__THE_R_0132_0021__BOUNTY,R_0132_0026__A_R_0132_0027__HEDGEHOG)
      & has_r_0132_0022__of(R_0132_0020__THE_R_0132_0021__BOUNTY,R_0132_0023__A_R_0132_0024__TUPPENCE)
      & has_arg0(R_0132_0018__LED_R_0132_0019__TO,R_0132_0003__THE_R_0132_0004__LEGISLATION) ) ).