( (CP-QUE-MAT (IP-SUB (CONJ;_cl_ Or;{or})
                      (MD;_cat_Vi_ would;{will})
                      (NP-SBJ (PRO we;{we}))
                      (IP-INF-CAT (ADVP-NIM (ADV rather;{rather}))
                                  (VB;_Ipr_ return;{return[to]})
                                  (PP-CLR (P-ROLE to;{to})
                                          (NP (D the;{the})
                                              (N animal;{animal})
                                              (IP-REL (C that;{that})
                                                      (NP-SBJ *T*)
                                                      (BEP;_Ln_ is;{be})
                                                      (ADVP-NIM (ADV already;{already}))
                                                      (NP-PRD (NP-GEN (PRO;_genm_ our;{our}))
                                                              (ADJP (ADJ national;{national}))
                                                              (N symbol;{symbol})))))))
              (PUNC ?))
  (ID 182_a_hedgehog;speaker=Stewart))

arc(r_0182_0002__would,r_0182_0005__return_r_0182_0006__to,scope).
arc(r_0182_0005__return_r_0182_0006__to,r_0182_0003__we,arg0).
arc(r_0182_0005__return_r_0182_0006__to,r_0182_0004__rather,nim).
arc(r_0182_0005__return_r_0182_0006__to,r_0182_0007__the_r_0182_0008__animal,arg1).
arc(r_0182_0010__is,r_0182_0007__the_r_0182_0008__animal,inv_arg0).
arc(r_0182_0010__is,r_0182_0011__already,nim).
arc(r_0182_0010__is,r_0182_0014__symbol,prd).
arc(r_0182_0014__symbol,r_0182_0003__we,gen).
arc(r_0182_0014__symbol,r_0182_0013__national,attrib).

fof(formula,axiom,
    ? [R_0182_0003__WE,R_0182_0004__RATHER,R_0182_0011__ALREADY,R_0182_0013__NATIONAL,R_0182_0014__SYMBOL,R_0182_0010__IS,R_0182_0007__THE_R_0182_0008__ANIMAL,R_0182_0002__WOULD_R_0182_0005__RETURN_R_0182_0006__TO] :
      ( r_0182_0003__we(R_0182_0003__WE)
      & r_0182_0004__rather(R_0182_0004__RATHER)
      & r_0182_0011__already(R_0182_0011__ALREADY)
      & r_0182_0013__national(R_0182_0013__NATIONAL)
      & r_0182_0002__would_r_0182_0005__return_r_0182_0006__to(R_0182_0002__WOULD_R_0182_0005__RETURN_R_0182_0006__TO)
      & has_arg1(R_0182_0002__WOULD_R_0182_0005__RETURN_R_0182_0006__TO,R_0182_0007__THE_R_0182_0008__ANIMAL)
      & r_0182_0007__the_r_0182_0008__animal(R_0182_0007__THE_R_0182_0008__ANIMAL)
      & has_inv_arg0(R_0182_0007__THE_R_0182_0008__ANIMAL,R_0182_0010__IS)
      & r_0182_0010__is(R_0182_0010__IS)
      & has_prd(R_0182_0010__IS,R_0182_0014__SYMBOL)
      & r_0182_0014__symbol(R_0182_0014__SYMBOL)
      & has_attrib(R_0182_0014__SYMBOL,R_0182_0013__NATIONAL)
      & has_gen(R_0182_0014__SYMBOL,R_0182_0003__WE)
      & has_nim(R_0182_0010__IS,R_0182_0011__ALREADY)
      & has_nim(R_0182_0002__WOULD_R_0182_0005__RETURN_R_0182_0006__TO,R_0182_0004__RATHER)
      & has_arg0(R_0182_0002__WOULD_R_0182_0005__RETURN_R_0182_0006__TO,R_0182_0003__WE) ) ).