( (FRAG (NP (N Question;{question})
            (IP-PPL (NP-LGS *)
                    (ILYR (ILYR (VBD;_Tn_ put;{put}))
                          (CONJP (CONJ and;{and})
                                 (ILYR (VBD;_Ipr_ agreed;{agree[to]})
                                       (PP-CLR (P-ROLE to;{to})))))))
        (PUNC .))
  (ID 190_a_hedgehog;speaker=Laing))

arc(r_0190_0002__put,r_0190_0001__Question,inv_arg1).
arc(r_0190_0002__put,z_0190_5004___star_,arg0).
arc(r_0190_0003__and,r_0190_0002__put,conj1).
arc(r_0190_0003__and,r_0190_0004__agreed_r_0190_0005__to,conj2).
arc(r_0190_0004__agreed_r_0190_0005__to,r_0190_0001__Question,inv_arg1).
arc(r_0190_0004__agreed_r_0190_0005__to,z_0190_5004___star_,arg0).
arc(z_0190_5008,r_0190_0001__Question,z_0190_5002).

fof(formula,axiom,
    ? [Z_0190_5004___STAR_,R_0190_0002__PUT,R_0190_0004__AGREED_R_0190_0005__TO,R_0190_0003__AND,R_0190_0001__QUESTION,Z_0190_5008] :
      ( z_0190_5004___star_(Z_0190_5004___STAR_)
      & z_0190_5008(Z_0190_5008)
      & has_z_0190_5002(Z_0190_5008,R_0190_0001__QUESTION)
      & r_0190_0001__Question(R_0190_0001__QUESTION)
      & has_inv_arg1(R_0190_0001__QUESTION,R_0190_0004__AGREED_R_0190_0005__TO)
      & r_0190_0004__agreed_r_0190_0005__to(R_0190_0004__AGREED_R_0190_0005__TO)
      & has_arg0(R_0190_0004__AGREED_R_0190_0005__TO,Z_0190_5004___STAR_)
      & has_inv_arg1(R_0190_0001__QUESTION,R_0190_0002__PUT)
      & r_0190_0002__put(R_0190_0002__PUT)
      & has_arg0(R_0190_0002__PUT,Z_0190_5004___STAR_)
      & r_0190_0003__and(R_0190_0003__AND)
      & has_conj2(R_0190_0003__AND,R_0190_0004__AGREED_R_0190_0005__TO)
      & has_conj1(R_0190_0003__AND,R_0190_0002__PUT) ) ).