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

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,nim).
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,gen).
arc(r_0178_0011__contribution,r_0178_0010__direct,attrib).
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_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_0007__THE_R_0178_0008__HEDGEHOG)
      & 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_attrib(R_0178_0011__CONTRIBUTION,R_0178_0010__DIRECT)
      & has_gen(R_0178_0011__CONTRIBUTION,R_0178_0007__THE_R_0178_0008__HEDGEHOG)
      & has_nim(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) ) ).