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, nim13).
arc(r_0138_0007__does, r_0138_0006__it, arg0).
arc(r_0138_0007__does, r_0138_0008__that, arg1).

fof(formula,axiom,
    ~ ? [R_0138_0001__WE,R_0138_0005__WHY,R_0138_0006__IT,R_0138_0008__THAT,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)
        & r_0138_0008__that(R_0138_0008__THAT)
        & 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,R_0138_0008__THAT)
        & has_arg0(R_0138_0007__DOES,R_0138_0006__IT)
        & has_nim13(R_0138_0007__DOES,R_0138_0005__WHY)
        & has_arg0(R_0138_0002__DO_R_0138_0004__UNDERSTAND,R_0138_0001__WE) ) ).

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