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, nim14).
arc(r_0217_0004__stayed, r_0217_0007__here, nim20).
arc(r_0217_0006__long, r_0217_0005__too, qual15).
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_0010__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_nim43).
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_0010__you, arg1).
arc(r_0217_0020__love, r_0217_0019__I, 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_0010__YOU,R_0217_0013__ME,R_0217_0015__THE_R_0217_0016__LIPS,R_0217_0011__MUST_R_0217_0012__KISS,R_0217_0019__I,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_0010__you(R_0217_0010__YOU)
      & 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_0019__I(R_0217_0019__I)
      & 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_0019__I)
      & has_arg1(R_0217_0020__LOVE,R_0217_0010__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_nim43(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_0010__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_nim20(R_0217_0003__HAVE_R_0217_0004__STAYED,R_0217_0007__HERE)
      & has_nim14(R_0217_0003__HAVE_R_0217_0004__STAYED,R_0217_0006__LONG)
      & r_0217_0006__long(R_0217_0006__LONG)
      & has_qual15(R_0217_0006__LONG,R_0217_0005__TOO)
      & has_arg0(R_0217_0003__HAVE_R_0217_0004__STAYED,R_0217_0002__YOU) ) ).

( (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))