( (IP-MAT (ADVP-NIM (ADV Ultimately;{ultimately}))
          (PUNC ,)
          (NP-SBJ (PRO we;{we}))
          (VBP;_Tt_ need;{need})
          (IP-INF-OB1 (TO to;{to})
                      (VB;_Tf_ understand;{understand})
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (NP-SBJ (D the;{the})
                                                  (N hedgehog;{hedgehog}))
                                          (BEP;_Ln_ is;{be})
                                          (NP-PRD (D a;{a})
                                                  (ADJP (ADVP (ADV very;{very}))
                                                        (ADJ prickly;{prickly}))
                                                  (N issue;{issue})))))
          (PUNC .))
  (ID 175_a_hedgehog;speaker=Stewart))

arc(r_0175_0004__need,r_0175_0001__Ultimately,nim).
arc(r_0175_0004__need,r_0175_0003__we,arg0).
arc(r_0175_0004__need,r_0175_0006__understand,arg1).
arc(r_0175_0006__understand,r_0175_0003__we,arg0).
arc(r_0175_0006__understand,r_0175_0010__is,arg1).
arc(r_0175_0010__is,r_0175_0008__the_r_0175_0009__hedgehog,arg0).
arc(r_0175_0010__is,r_0175_0011__a_r_0175_0014__issue,prd).
arc(r_0175_0011__a_r_0175_0014__issue,r_0175_0013__prickly,attrib).
arc(r_0175_0013__prickly,r_0175_0012__very,qual).

fof(formula,axiom,
    ? [R_0175_0001__ULTIMATELY,R_0175_0003__WE,R_0175_0008__THE_R_0175_0009__HEDGEHOG,R_0175_0012__VERY,R_0175_0013__PRICKLY,R_0175_0011__A_R_0175_0014__ISSUE,R_0175_0010__IS,R_0175_0006__UNDERSTAND,R_0175_0004__NEED] :
      ( r_0175_0001__Ultimately(R_0175_0001__ULTIMATELY)
      & r_0175_0003__we(R_0175_0003__WE)
      & r_0175_0008__the_r_0175_0009__hedgehog(R_0175_0008__THE_R_0175_0009__HEDGEHOG)
      & r_0175_0012__very(R_0175_0012__VERY)
      & r_0175_0004__need(R_0175_0004__NEED)
      & has_arg1(R_0175_0004__NEED,R_0175_0006__UNDERSTAND)
      & r_0175_0006__understand(R_0175_0006__UNDERSTAND)
      & has_arg1(R_0175_0006__UNDERSTAND,R_0175_0010__IS)
      & r_0175_0010__is(R_0175_0010__IS)
      & has_prd(R_0175_0010__IS,R_0175_0011__A_R_0175_0014__ISSUE)
      & r_0175_0011__a_r_0175_0014__issue(R_0175_0011__A_R_0175_0014__ISSUE)
      & has_attrib(R_0175_0011__A_R_0175_0014__ISSUE,R_0175_0013__PRICKLY)
      & r_0175_0013__prickly(R_0175_0013__PRICKLY)
      & has_qual(R_0175_0013__PRICKLY,R_0175_0012__VERY)
      & has_arg0(R_0175_0010__IS,R_0175_0008__THE_R_0175_0009__HEDGEHOG)
      & has_arg0(R_0175_0006__UNDERSTAND,R_0175_0003__WE)
      & has_arg0(R_0175_0004__NEED,R_0175_0003__WE)
      & has_nim(R_0175_0004__NEED,R_0175_0001__ULTIMATELY) ) ).