( (IP-MAT (NP-SBJ (PRO I;{I}))
          (BED;_La_ was;{be})
          (ADVP-NIM (ADV also;{also}))
          (ADVP-NIM (ADV rather;{rather}))
          (ADJP-PRD (ADJ;_cat_ surprised;{surprised})
                    (IP-INF (TO to;{to})
                            (VB;_Tf_ learn;{learn})
                            (CP-THT-OB1 (IP-SUB (C that;{that})
                                                (NP-SBJ (PRO we;{we}))
                                                (MD;_cat_Vi_ should;{shall})
                                                (NEG not;{not})
                                                (IP-INF-CAT (VB;_phr_Vn<=>p_ leave;{leave[put]})
                                                            (NP-OB1 (NLYR (NLYR (N milk;{milk}))
                                                                          (CONJP (CONJ and;{and})
                                                                                 (NLYR (N bread;{bread})))))
                                                            (RP out;{out})
                                                            (PP-NIM (P-ROLE for;{for})
                                                                    (NP;{HEDGEHOGS} (NS hedgehogs;{hedgehog}))))))))
          (PUNC .))
  (ID 49_a_hedgehog;speaker=Colvile))

arc(r_0049_0002__was,r_0049_0003__also,nim).
arc(r_0049_0002__was,r_0049_0004__rather,nim).
arc(r_0049_0002__was,r_0049_0005__surprised,scope).
arc(r_0049_0005__surprised,r_0049_0007__learn,scope).
arc(r_0049_0007__learn,r_0049_0001__I,arg0).
arc(r_0049_0007__learn,r_0049_0011__not,arg1).
arc(r_0049_0010__should,r_0049_0012__leave_r_0049_0016__out,scope).
arc(r_0049_0011__not,r_0049_0010__should,keep_scope).
arc(r_0049_0012__leave_r_0049_0016__out,r_0049_0009__we,arg0).
arc(r_0049_0012__leave_r_0049_0016__out,r_0049_0014__and,arg1).
arc(r_0049_0012__leave_r_0049_0016__out,r_0049_0018__hedgehogs,r_0049_0017__for__nim).
arc(r_0049_0014__and,r_0049_0013__milk,conj1).
arc(r_0049_0014__and,r_0049_0015__bread,conj2).

fof(formula,axiom,
    ? [R_0049_0003__ALSO,R_0049_0004__RATHER,R_0049_0001__I,R_0049_0002__WAS_R_0049_0005__SURPRISED_R_0049_0007__LEARN] :
      ( r_0049_0001__I(R_0049_0001__I)
      & r_0049_0003__also(R_0049_0003__ALSO)
      & r_0049_0004__rather(R_0049_0004__RATHER)
      & r_0049_0002__was_r_0049_0005__surprised_r_0049_0007__learn(R_0049_0002__WAS_R_0049_0005__SURPRISED_R_0049_0007__LEARN)
      & has_arg1(R_0049_0002__WAS_R_0049_0005__SURPRISED_R_0049_0007__LEARN,R_0049_0011__NOT)
      & ~ ? [R_0049_0009__WE,R_0049_0013__MILK,R_0049_0015__BREAD,R_0049_0014__AND,R_0049_0018__HEDGEHOGS,R_0049_0010__SHOULD_R_0049_0012__LEAVE_R_0049_0016__OUT] :
            ( r_0049_0009__we(R_0049_0009__WE)
            & r_0049_0013__milk(R_0049_0013__MILK)
            & r_0049_0015__bread(R_0049_0015__BREAD)
            & r_0049_0018__hedgehogs(R_0049_0018__HEDGEHOGS)
            & r_0049_0010__should_r_0049_0012__leave_r_0049_0016__out(R_0049_0010__SHOULD_R_0049_0012__LEAVE_R_0049_0016__OUT)
            & has_r_0049_0017__for__nim(R_0049_0010__SHOULD_R_0049_0012__LEAVE_R_0049_0016__OUT,R_0049_0018__HEDGEHOGS)
            & has_arg1(R_0049_0010__SHOULD_R_0049_0012__LEAVE_R_0049_0016__OUT,R_0049_0014__AND)
            & r_0049_0014__and(R_0049_0014__AND)
            & has_conj2(R_0049_0014__AND,R_0049_0015__BREAD)
            & has_conj1(R_0049_0014__AND,R_0049_0013__MILK)
            & has_arg0(R_0049_0010__SHOULD_R_0049_0012__LEAVE_R_0049_0016__OUT,R_0049_0009__WE) )
      & has_arg0(R_0049_0002__WAS_R_0049_0005__SURPRISED_R_0049_0007__LEARN,R_0049_0001__I)
      & has_nim(R_0049_0002__WAS_R_0049_0005__SURPRISED_R_0049_0007__LEARN,R_0049_0004__RATHER)
      & has_nim(R_0049_0002__WAS_R_0049_0005__SURPRISED_R_0049_0007__LEARN,R_0049_0003__ALSO) ) ).