( (IP-MAT (NP-SBJ (PRO We;{we}))
          (DOP do;{do})
          (NEG not;{not})
          (VB;_Tw_ understand;{understand})
          (CP-QUE-OB1 (IP-SUB (ADVP-NIM (WADV why;{why}))
                              (NP-SBJ;{HEDGEHOG} (PRO it;{it}))
                              (DOP;_Tn_ does;{do})
                              (NP-OB1 (P-ROLE that;{that}))))
          (PUNC .))
  (ID 138_a_hedgehog;speaker=Stewart))

arc(r_0138_0002__do_r_0138_0004__understand,r_0138_0001__We,arg0).
arc(r_0138_0002__do_r_0138_0004__understand,r_0138_0007__does,arg1).
arc(r_0138_0003__not,r_0138_0002__do_r_0138_0004__understand,keep_scope).
arc(r_0138_0007__does,r_0138_0005__why,nim).
arc(r_0138_0007__does,r_0138_0006__it,arg0).
arc(r_0138_0007__does,z_0138_5004,arg1).

fof(formula,axiom,
    ~ ? [R_0138_0001__WE,R_0138_0005__WHY,R_0138_0006__IT,Z_0138_5004,R_0138_0007__DOES,R_0138_0002__DO_R_0138_0004__UNDERSTAND] :
        ( r_0138_0001__We(R_0138_0001__WE)
        & r_0138_0005__why(R_0138_0005__WHY)
        & r_0138_0006__it(R_0138_0006__IT)
        & z_0138_5004(Z_0138_5004)
        & r_0138_0002__do_r_0138_0004__understand(R_0138_0002__DO_R_0138_0004__UNDERSTAND)
        & has_arg1(R_0138_0002__DO_R_0138_0004__UNDERSTAND,R_0138_0007__DOES)
        & r_0138_0007__does(R_0138_0007__DOES)
        & has_arg1(R_0138_0007__DOES,Z_0138_5004)
        & has_arg0(R_0138_0007__DOES,R_0138_0006__IT)
        & has_nim(R_0138_0007__DOES,R_0138_0005__WHY)
        & has_arg0(R_0138_0002__DO_R_0138_0004__UNDERSTAND,R_0138_0001__WE) ) ).