TSPC 12_a_hedgehog

12_a_hedgehog
I know what it is like to be an underdog, because that is how I felt in the run-up to the last general election, when I placed a bet on myself with Paddy Power at 4:1 against.

arc(r_0012_0002__know, r_0012_0001__I, arg0).
arc(r_0012_0002__know, r_0012_0005__is, arg1).
arc(r_0012_0005__is, r_0012_0003__what, r_0012_0006__like_clr20).
arc(r_0012_0005__is, r_0012_0007__to_r_0012_0008__be, arg0).
arc(r_0012_0007__to_r_0012_0008__be, r_0012_0009__an_r_0012_0010__underdog, prd).
arc(r_0012_0007__to_r_0012_0008__be, z_000_12_a_hedgehog_12, arg0).
arc(r_0012_0012__because, r_0012_0002__know, scope).
arc(r_0012_0012__because, r_0012_0014__is, restriction).
arc(r_0012_0014__is, r_0012_0013__that, arg0).
arc(r_0012_0014__is, z_000_12_a_hedgehog_43, prd).
arc(r_0012_0017__felt, r_0012_0001__I, arg0).
arc(r_0012_0017__felt, r_0012_0019__the_r_0012_0020__run__hyphen__up, r_0012_0018__in_nim57).
arc(r_0012_0017__felt, z_000_12_a_hedgehog_45, prd).
arc(r_0012_0019__the_r_0012_0020__run__hyphen__up, r_0012_0022__the_r_0012_0025__election, r_0012_0021__to).
arc(r_0012_0022__the_r_0012_0025__election, r_0012_0023__last, attrib68).
arc(r_0012_0022__the_r_0012_0025__election, r_0012_0024__general, attrib71).
arc(r_0012_0029__placed, r_0012_0001__I, arg0).
arc(r_0012_0029__placed, r_0012_0001__I, r_0012_0032__on_clr95).
arc(r_0012_0029__placed, r_0012_0019__the_r_0012_0020__run__hyphen__up, nim79).
arc(r_0012_0029__placed, r_0012_0030__a_r_0012_0031__bet, arg1).
arc(r_0012_0029__placed, r_0012_0035__Paddy_r_0012_0036__Power, r_0012_0034__with_nim101).
arc(r_0012_0029__placed, r_0012_0038__4_colon_1, r_0012_0037__at_nim109).
arc(z_000_12_a_hedgehog_45, z_000_12_a_hedgehog_43, qual46).

fof(formula,axiom,
    ? [R_0012_0001__I,R_0012_0003__WHAT,R_0012_0009__AN_R_0012_0010__UNDERDOG,Z_000_12_A_HEDGEHOG_12,R_0012_0007__TO_R_0012_0008__BE,R_0012_0005__IS,R_0012_0002__KNOW,R_0012_0013__THAT,Z_000_12_A_HEDGEHOG_43,R_0012_0014__IS,R_0012_0012__BECAUSE,R_0012_0023__LAST,R_0012_0024__GENERAL,R_0012_0022__THE_R_0012_0025__ELECTION,R_0012_0019__THE_R_0012_0020__RUN__HYPHEN__UP,Z_000_12_A_HEDGEHOG_45,R_0012_0017__FELT,R_0012_0030__A_R_0012_0031__BET,R_0012_0035__PADDY_R_0012_0036__POWER,R_0012_0038__4_COLON_1,R_0012_0029__PLACED] :
      ( r_0012_0001__I(R_0012_0001__I)
      & r_0012_0003__what(R_0012_0003__WHAT)
      & r_0012_0009__an_r_0012_0010__underdog(R_0012_0009__AN_R_0012_0010__UNDERDOG)
      & r_0012_0013__that(R_0012_0013__THAT)
      & r_0012_0023__last(R_0012_0023__LAST)
      & r_0012_0024__general(R_0012_0024__GENERAL)
      & r_0012_0030__a_r_0012_0031__bet(R_0012_0030__A_R_0012_0031__BET)
      & r_0012_0035__Paddy_r_0012_0036__Power(R_0012_0035__PADDY_R_0012_0036__POWER)
      & r_0012_0038__4_colon_1(R_0012_0038__4_COLON_1)
      & z_000_12_a_hedgehog_12(Z_000_12_A_HEDGEHOG_12)
      & z_000_12_a_hedgehog_43(Z_000_12_A_HEDGEHOG_43)
      & r_0012_0029__placed(R_0012_0029__PLACED)
      & has_r_0012_0037__at_nim109(R_0012_0029__PLACED,R_0012_0038__4_COLON_1)
      & has_r_0012_0034__with_nim101(R_0012_0029__PLACED,R_0012_0035__PADDY_R_0012_0036__POWER)
      & has_arg1(R_0012_0029__PLACED,R_0012_0030__A_R_0012_0031__BET)
      & has_nim79(R_0012_0029__PLACED,R_0012_0019__THE_R_0012_0020__RUN__HYPHEN__UP)
      & r_0012_0019__the_r_0012_0020__run__hyphen__up(R_0012_0019__THE_R_0012_0020__RUN__HYPHEN__UP)
      & has_r_0012_0021__to(R_0012_0019__THE_R_0012_0020__RUN__HYPHEN__UP,R_0012_0022__THE_R_0012_0025__ELECTION)
      & r_0012_0022__the_r_0012_0025__election(R_0012_0022__THE_R_0012_0025__ELECTION)
      & has_attrib71(R_0012_0022__THE_R_0012_0025__ELECTION,R_0012_0024__GENERAL)
      & has_attrib68(R_0012_0022__THE_R_0012_0025__ELECTION,R_0012_0023__LAST)
      & has_r_0012_0032__on_clr95(R_0012_0029__PLACED,R_0012_0001__I)
      & has_arg0(R_0012_0029__PLACED,R_0012_0001__I)
      & r_0012_0017__felt(R_0012_0017__FELT)
      & has_prd(R_0012_0017__FELT,Z_000_12_A_HEDGEHOG_45)
      & z_000_12_a_hedgehog_45(Z_000_12_A_HEDGEHOG_45)
      & has_qual46(Z_000_12_A_HEDGEHOG_45,Z_000_12_A_HEDGEHOG_43)
      & has_r_0012_0018__in_nim57(R_0012_0017__FELT,R_0012_0019__THE_R_0012_0020__RUN__HYPHEN__UP)
      & has_arg0(R_0012_0017__FELT,R_0012_0001__I)
      & r_0012_0012__because(R_0012_0012__BECAUSE)
      & has_conj1(R_0012_0012__BECAUSE,R_0012_0014__IS)
      & r_0012_0014__is(R_0012_0014__IS)
      & has_prd(R_0012_0014__IS,Z_000_12_A_HEDGEHOG_43)
      & has_arg0(R_0012_0014__IS,R_0012_0013__THAT)
      & has_conj2(R_0012_0012__BECAUSE,R_0012_0002__KNOW)
      & r_0012_0002__know(R_0012_0002__KNOW)
      & has_arg1(R_0012_0002__KNOW,R_0012_0005__IS)
      & r_0012_0005__is(R_0012_0005__IS)
      & has_arg0(R_0012_0005__IS,R_0012_0007__TO_R_0012_0008__BE)
      & r_0012_0007__to_r_0012_0008__be(R_0012_0007__TO_R_0012_0008__BE)
      & has_arg0(R_0012_0007__TO_R_0012_0008__BE,Z_000_12_A_HEDGEHOG_12)
      & has_prd(R_0012_0007__TO_R_0012_0008__BE,R_0012_0009__AN_R_0012_0010__UNDERDOG)
      & has_r_0012_0006__like_clr20(R_0012_0005__IS,R_0012_0003__WHAT)
      & has_arg0(R_0012_0002__KNOW,R_0012_0001__I) ) ).

( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBP;_Tw_ know;{know})
          (CP-QUE-OB1 (IP-SUB (NP-118 (WPRO what;{what}))
                              (NP-SBJ (PRO;_provisional_ it;{it}))
                              (BEP;_Ipr_ is;{be[like]})
                              (PP-CLR (P-ROLE like;{like})
                                      (NP *ICH*-118))
                              (IP-INF-NSBJ (TO to;{to})
                                           (BE;_Ln_ be;{be})
                                           (NP-PRD (D an;{an})
                                                   (N underdog;{underdog})))))
          (PUNC ,)
          (PP-SCON (P-CONN because;{because})
                   (IP-ADV (NP-SBJ (D;_nphd_ that;{that}))
                           (BEP;_Ln_ is;{be})
                           (NP-PRD (IP-REL (ADJP-PRD (ADVP (RADV how;{how})))
                                           (NP-SBJ (PRO I;{I}))
                                           (VBD;_La_ felt;{feel})
                                           (PP-NIM (P-ROLE in;{in})
                                                   (NP (D the;{the})
                                                       (N run_<hyphen>_up;{run_up})
                                                       (PP (P-ROLE to;{to})
                                                           (NP (D the;{the})
                                                               (ADJP (ADJ last;{last}))
                                                               (ADJP (ADJ general;{general}))
                                                               (N election;{election})))
                                                       (PUNC ,)
                                                       (IP-REL (ADVP-NIM (RADV when;{when}))
                                                               (NP-SBJ (PRO I;{I}))
                                                               (VBD;_Tn.pr_ placed;{place[on]})
                                                               (NP-OB1 (D a;{a})
                                                                       (N bet;{bet}))
                                                               (PP-CLR (P-ROLE on;{on})
                                                                       (NP (PNX myself;{myself})))
                                                               (PP-NIM (P-ROLE with;{with})
                                                                       (NP (NPR Paddy;{Paddy})
                                                                           (NPR Power;{Power})))
                                                               (PP-NIM (P-ROLE at;{at})
                                                                       (NP (NUM 4:1)
                                                                           (PP (P-ROLE against;{against})))))))))))
          (PUNC .))
  (ID 12_a_hedgehog;speaker=Colvile))