( (IP-MAT (NP-SBJ (PRO We;{we}))
          (DOP do;{do})
          (NEG not;{not})
          (VB;_Tn_ understand;{understand})
          (NP-OB1 (D that;{that})
                  (N concept;{concept})
                  (PP (P-ROLE of;{of})
                      (NP (N aestivation;{aestivation}))))
          (PUNC .))
  (ID 140_a_hedgehog;speaker=Stewart))

arc(r_0140_0002__do_r_0140_0004__understand,r_0140_0001__We,arg0).
arc(r_0140_0002__do_r_0140_0004__understand,r_0140_0005__that_r_0140_0006__concept,arg1).
arc(r_0140_0003__not,r_0140_0002__do_r_0140_0004__understand,keep_scope).
arc(r_0140_0005__that_r_0140_0006__concept,r_0140_0008__aestivation,r_0140_0007__of).

fof(formula,axiom,
    ~ ? [R_0140_0001__WE,R_0140_0008__AESTIVATION,R_0140_0005__THAT_R_0140_0006__CONCEPT,R_0140_0002__DO_R_0140_0004__UNDERSTAND] :
        ( r_0140_0001__We(R_0140_0001__WE)
        & r_0140_0008__aestivation(R_0140_0008__AESTIVATION)
        & r_0140_0002__do_r_0140_0004__understand(R_0140_0002__DO_R_0140_0004__UNDERSTAND)
        & has_arg1(R_0140_0002__DO_R_0140_0004__UNDERSTAND,R_0140_0005__THAT_R_0140_0006__CONCEPT)
        & r_0140_0005__that_r_0140_0006__concept(R_0140_0005__THAT_R_0140_0006__CONCEPT)
        & has_r_0140_0007__of(R_0140_0005__THAT_R_0140_0006__CONCEPT,R_0140_0008__AESTIVATION)
        & has_arg0(R_0140_0002__DO_R_0140_0004__UNDERSTAND,R_0140_0001__WE) ) ).