( (IP-IMP (ILYR (ILYR (VB;_I_ Come;{come}))
                (CONJP (CONJ and;{and})
                       (ILYR (VB;_Dn.n_ give;{give})
                             (NP-OB2;{TANCE} (PRO me;{I}))
                             (NP-OB1 (D a;{a})
                                     (N hand;{hand})))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 405_a_dick_1952))

arc(r_0405_0001__Come,z_0405_5002,arg0).
arc(r_0405_0002__and,r_0405_0001__Come,conj1).
arc(r_0405_0002__and,r_0405_0003__give,conj2).
arc(r_0405_0003__give,r_0405_0004__me,arg2).
arc(r_0405_0003__give,r_0405_0005__a_r_0405_0006__hand,arg1).
arc(r_0405_0003__give,z_0405_5002,arg0).

fof(formula,axiom,
    ? [Z_0405_5002,R_0405_0001__COME,R_0405_0004__ME,R_0405_0005__A_R_0405_0006__HAND,R_0405_0003__GIVE,R_0405_0002__AND] :
      ( r_0405_0004__me(R_0405_0004__ME)
      & r_0405_0005__a_r_0405_0006__hand(R_0405_0005__A_R_0405_0006__HAND)
      & z_0405_5002(Z_0405_5002)
      & r_0405_0002__and(R_0405_0002__AND)
      & has_conj2(R_0405_0002__AND,R_0405_0003__GIVE)
      & r_0405_0003__give(R_0405_0003__GIVE)
      & has_arg0(R_0405_0003__GIVE,Z_0405_5002)
      & has_arg1(R_0405_0003__GIVE,R_0405_0005__A_R_0405_0006__HAND)
      & has_arg2(R_0405_0003__GIVE,R_0405_0004__ME)
      & has_conj1(R_0405_0002__AND,R_0405_0001__COME)
      & r_0405_0001__Come(R_0405_0001__COME)
      & has_arg0(R_0405_0001__COME,Z_0405_5002) ) ).