arc(r_0178_0002__should, r_0178_0004__pay, scope).
arc(r_0178_0004__pay, r_0178_0001__We, arg0).
arc(r_0178_0004__pay, r_0178_0003__therefore, nim8).
arc(r_0178_0004__pay, r_0178_0005__tribute, arg1).
arc(r_0178_0005__tribute, r_0178_0011__contribution, r_0178_0006__to).
arc(r_0178_0011__contribution, r_0178_0007__the_r_0178_0008__hedgehog_r_0178_0009___apos_s, gen).
arc(r_0178_0011__contribution, r_0178_0010__direct, attrib27).
arc(r_0178_0011__contribution, r_0178_0014__election_r_0178_0015__victory, r_0178_0012__to).
arc(r_0178_0014__election_r_0178_0015__victory, r_0178_0001__We, gen).
arc(r_0178_0014__election_r_0178_0015__victory, r_0178_0017__that_r_0178_0018__year, r_0178_0016__in).

fof(formula,axiom,
    ? [R_0178_0001__WE,R_0178_0003__THEREFORE,R_0178_0007__THE_R_0178_0008__HEDGEHOG_R_0178_0009___APOS_S,R_0178_0010__DIRECT,R_0178_0017__THAT_R_0178_0018__YEAR,R_0178_0014__ELECTION_R_0178_0015__VICTORY,R_0178_0011__CONTRIBUTION,R_0178_0005__TRIBUTE,R_0178_0002__SHOULD_R_0178_0004__PAY] :
      ( r_0178_0001__We(R_0178_0001__WE)
      & r_0178_0003__therefore(R_0178_0003__THEREFORE)
      & r_0178_0007__the_r_0178_0008__hedgehog_r_0178_0009___apos_s(R_0178_0007__THE_R_0178_0008__HEDGEHOG_R_0178_0009___APOS_S)
      & r_0178_0010__direct(R_0178_0010__DIRECT)
      & r_0178_0017__that_r_0178_0018__year(R_0178_0017__THAT_R_0178_0018__YEAR)
      & r_0178_0002__should_r_0178_0004__pay(R_0178_0002__SHOULD_R_0178_0004__PAY)
      & has_arg1(R_0178_0002__SHOULD_R_0178_0004__PAY,R_0178_0005__TRIBUTE)
      & r_0178_0005__tribute(R_0178_0005__TRIBUTE)
      & has_r_0178_0006__to(R_0178_0005__TRIBUTE,R_0178_0011__CONTRIBUTION)
      & r_0178_0011__contribution(R_0178_0011__CONTRIBUTION)
      & has_r_0178_0012__to(R_0178_0011__CONTRIBUTION,R_0178_0014__ELECTION_R_0178_0015__VICTORY)
      & r_0178_0014__election_r_0178_0015__victory(R_0178_0014__ELECTION_R_0178_0015__VICTORY)
      & has_r_0178_0016__in(R_0178_0014__ELECTION_R_0178_0015__VICTORY,R_0178_0017__THAT_R_0178_0018__YEAR)
      & has_gen(R_0178_0014__ELECTION_R_0178_0015__VICTORY,R_0178_0001__WE)
      & has_attrib27(R_0178_0011__CONTRIBUTION,R_0178_0010__DIRECT)
      & has_gen(R_0178_0011__CONTRIBUTION,R_0178_0007__THE_R_0178_0008__HEDGEHOG_R_0178_0009___APOS_S)
      & has_nim8(R_0178_0002__SHOULD_R_0178_0004__PAY,R_0178_0003__THEREFORE)
      & has_arg0(R_0178_0002__SHOULD_R_0178_0004__PAY,R_0178_0001__WE) ) ).

( (IP-MAT (NP-SBJ (PRO We;{we}))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (ADVP-NIM (ADV therefore;{therefore}))
                      (VB;_Tn_ pay;{pay[to]})
                      (NP-OB1 (N tribute;{tribute})
                              (PP (P-ROLE to;{to})
                                  (NP (NP-GEN (D the;{the})
                                              (N hedgehog;{hedgehog})
                                              (GENM <apos>s))
                                      (ADJP (ADJ direct;{direct}))
                                      (N contribution;{contribution})
                                      (PP (P-ROLE to;{to})
                                          (NP (NP-GEN (PRO;_genm_ our;{our}))
                                              (N election;{election})
                                              (N victory;{victory})
                                              (PP (P-ROLE in;{in})
                                                  (NP (D that;{that})
                                                      (N year;{year})))))))))
          (PUNC .))
  (ID 178_a_hedgehog;speaker=Stewart))