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_12_12_BECAUSE,R_12_14_IS,R_12_13_THAT,R_12_2_KNOW,R_12_5_IS,R_12_7_TO_BE,Z_12_A_HEDGEHOG_12,R_12_9_AN_UNDERDOG,R_12_3_WHAT,R_12_17_FELT,Z_12_A_HEDGEHOG_45,Z_12_A_HEDGEHOG_43,R_12_29_PLACED,R_12_30_A_BET,R_12_19_THE_RUN_HYPHEN_UP,R_12_22_THE_ELECTION,R_12_23_LAST,R_12_24_GENERAL,R_12_1_I,R_12_35_PADDY_POWER,R_12_38_4_COLON_1] :
      ( that(R_12_13_THAT)
      & an_underdog(R_12_9_AN_UNDERDOG)
      & what(R_12_3_WHAT)
      & a_bet(R_12_30_A_BET)
      & last(R_12_23_LAST)
      & general(R_12_24_GENERAL)
      & i(R_12_1_I)
      & paddy_Power(R_12_35_PADDY_POWER)
      & 4_colon_1(R_12_38_4_COLON_1)
      & because(R_12_12_BECAUSE)
      & conj1(R_12_12_BECAUSE,R_12_14_IS)
      & is(R_12_14_IS,R_12_13_THAT,Z_12_A_HEDGEHOG_43)
      & conj2(R_12_12_BECAUSE,R_12_2_KNOW)
      & know(R_12_2_KNOW,R_12_1_I,R_12_5_IS)
      & is(R_12_5_IS,R_12_7_TO_BE)
      & to_be(R_12_7_TO_BE,Z_12_A_HEDGEHOG_12,R_12_9_AN_UNDERDOG)
      & like_clr20(R_12_5_IS,R_12_3_WHAT)
      & felt(R_12_17_FELT,R_12_1_I,Z_12_A_HEDGEHOG_45)
      & z_12_a_hedgehog_45(Z_12_A_HEDGEHOG_45)
      & qual46(Z_12_A_HEDGEHOG_45,Z_12_A_HEDGEHOG_43)
      & in_nim57(R_12_17_FELT,R_12_19_THE_RUN_HYPHEN_UP)
      & the_run_hyphen_up(R_12_19_THE_RUN_HYPHEN_UP)
      & to(R_12_19_THE_RUN_HYPHEN_UP,R_12_22_THE_ELECTION)
      & the_election(R_12_22_THE_ELECTION)
      & attrib68(R_12_22_THE_ELECTION,R_12_23_LAST)
      & attrib71(R_12_22_THE_ELECTION,R_12_24_GENERAL)
      & placed(R_12_29_PLACED,R_12_1_I,R_12_30_A_BET)
      & nim79(R_12_29_PLACED,R_12_19_THE_RUN_HYPHEN_UP)
      & on_clr95(R_12_29_PLACED,R_12_1_I)
      & with_nim101(R_12_29_PLACED,R_12_35_PADDY_POWER)
      & at_nim109(R_12_29_PLACED,R_12_38_4_COLON_1) ) ).

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