( (IP-MAT (PULQ <ldquo>)
          (ILYR (ILYR (NP-SBJ;{SWALLOW} (PRO you;{you}))
                      (HVP;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (VVN;_I_ stayed;{stay})
                                  (ADVP-NIM (ADVP (ADV too;{too}))
                                            (ADV long;{long}))
                                  (ADVP-NIM (ADV here;{here}))))
                (PUNC ;)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{SWALLOW} (PRO you;{you}))
                             (MD;_cat_Vi_ must;{must})
                             (IP-INF-CAT (VB;__ kiss;{kiss})
                                         (NP-OB1;{PRINCE} (PRO me;{I}))
                                         (PP-NIM (P-ROLE on;{on})
                                                 (NP (D the;{the})
                                                     (NS lips;{lip}))))
                             (PUNC ,)
                             (PP-SCON (P-CONN for;{for})
                                      (IP-ADV (NP-SBJ;{PRINCE} (PRO I;{I}))
                                              (VBP;__ love;{love})
                                              (NP-OB1;{SWALLOW} (PRO you;{you})))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 217_a_wilde_1_1888))

arc(r_0217_0003__have,r_0217_0004__stayed,scope).
arc(r_0217_0004__stayed,r_0217_0002__you,arg0).
arc(r_0217_0004__stayed,r_0217_0006__long,nim).
arc(r_0217_0004__stayed,r_0217_0007__here,nim).
arc(r_0217_0006__long,r_0217_0005__too,qual).
arc(r_0217_0009__but,r_0217_0003__have,conj1).
arc(r_0217_0009__but,r_0217_0018__for,conj2).
arc(r_0217_0011__must,r_0217_0012__kiss,scope).
arc(r_0217_0012__kiss,r_0217_0002__you,arg0).
arc(r_0217_0012__kiss,r_0217_0013__me,arg1).
arc(r_0217_0012__kiss,r_0217_0015__the_r_0217_0016__lips,r_0217_0014__on__nim).
arc(r_0217_0018__for,r_0217_0011__must,scope).
arc(r_0217_0018__for,r_0217_0020__love,restriction).
arc(r_0217_0020__love,r_0217_0002__you,arg1).
arc(r_0217_0020__love,r_0217_0013__me,arg0).

fof(formula,axiom,
    ? [R_0217_0002__YOU,R_0217_0005__TOO,R_0217_0006__LONG,R_0217_0007__HERE,R_0217_0003__HAVE_R_0217_0004__STAYED,R_0217_0013__ME,R_0217_0015__THE_R_0217_0016__LIPS,R_0217_0011__MUST_R_0217_0012__KISS,R_0217_0020__LOVE,R_0217_0018__FOR,R_0217_0009__BUT] :
      ( r_0217_0002__you(R_0217_0002__YOU)
      & r_0217_0005__too(R_0217_0005__TOO)
      & r_0217_0007__here(R_0217_0007__HERE)
      & r_0217_0013__me(R_0217_0013__ME)
      & r_0217_0015__the_r_0217_0016__lips(R_0217_0015__THE_R_0217_0016__LIPS)
      & r_0217_0009__but(R_0217_0009__BUT)
      & has_conj2(R_0217_0009__BUT,R_0217_0018__FOR)
      & r_0217_0018__for(R_0217_0018__FOR)
      & has_conj1(R_0217_0018__FOR,R_0217_0020__LOVE)
      & r_0217_0020__love(R_0217_0020__LOVE)
      & has_arg0(R_0217_0020__LOVE,R_0217_0013__ME)
      & has_arg1(R_0217_0020__LOVE,R_0217_0002__YOU)
      & has_conj2(R_0217_0018__FOR,R_0217_0011__MUST_R_0217_0012__KISS)
      & r_0217_0011__must_r_0217_0012__kiss(R_0217_0011__MUST_R_0217_0012__KISS)
      & has_r_0217_0014__on__nim(R_0217_0011__MUST_R_0217_0012__KISS,R_0217_0015__THE_R_0217_0016__LIPS)
      & has_arg1(R_0217_0011__MUST_R_0217_0012__KISS,R_0217_0013__ME)
      & has_arg0(R_0217_0011__MUST_R_0217_0012__KISS,R_0217_0002__YOU)
      & has_conj1(R_0217_0009__BUT,R_0217_0003__HAVE_R_0217_0004__STAYED)
      & r_0217_0003__have_r_0217_0004__stayed(R_0217_0003__HAVE_R_0217_0004__STAYED)
      & has_nim(R_0217_0003__HAVE_R_0217_0004__STAYED,R_0217_0007__HERE)
      & has_nim(R_0217_0003__HAVE_R_0217_0004__STAYED,R_0217_0006__LONG)
      & r_0217_0006__long(R_0217_0006__LONG)
      & has_qual(R_0217_0006__LONG,R_0217_0005__TOO)
      & has_arg0(R_0217_0003__HAVE_R_0217_0004__STAYED,R_0217_0002__YOU) ) ).