arc(r_0063_0001__If, r_0063_0003___apos_d, restriction).
arc(r_0063_0001__If, r_0063_0009___apos_d, scope).
arc(r_0063_0003___apos_d, r_0063_0004__been, scope).
arc(r_0063_0004__been, r_0063_0002__I, arg0).
arc(r_0063_0004__been, r_0063_0007__place, r_0063_0005__in_clr18).
arc(r_0063_0007__place, r_0063_0006__his, gen).
arc(r_0063_0009___apos_d, r_0063_0010__have, scope).
arc(r_0063_0010__have, r_0063_0011__kissed, scope).
arc(r_0063_0011__kissed, r_0063_0008__I, arg0).
arc(r_0063_0011__kissed, r_0063_0008__I, nim38).
arc(r_0063_0011__kissed, r_0063_0012__you, arg1).
arc(r_0063_0011__kissed, r_0063_0016__and, nim43).
arc(r_0063_0016__and, r_0063_0015__good, conj1).
arc(r_0063_0016__and, r_0063_0017__hard, conj2).
arc(r_0063_0019__as, r_0063_0001__If, scope).
arc(r_0063_0019__as, r_0063_0021___apos_m, restriction).
arc(r_0063_0021___apos_m, r_0063_0022__tempted, scope).
arc(r_0063_0022__tempted, r_0063_0020__I, arg2).
arc(r_0063_0022__tempted, r_0063_0023__to, arg1).
arc(r_0063_0022__tempted, z_000_63_a_lob_n02_66, arg0).
arc(r_0063_0023__to, r_0063_0020__I, arg0).
arc(r_0063_0023__to, r_0063_0024__now, nim73).

fof(formula,axiom,
    ? [R_63_19_AS,R_63_21__APOS_M_TEMPTED,Z_63_A_LOB_N02_66,R_63_23_TO,R_63_24_NOW,R_63_20_I] :
      ( now(R_63_24_NOW)
      & i(R_63_20_I)
      & ! [R_63_3__APOS_D_BEEN,R_63_2_I,R_63_7_PLACE,R_63_6_HIS] :
          ( ( i(R_63_2_I)
            & his(R_63_6_HIS)
            & _apos_d_been(R_63_3__APOS_D_BEEN,R_63_2_I)
            & in_clr18(R_63_3__APOS_D_BEEN,R_63_7_PLACE)
            & place(R_63_7_PLACE)
            & gen(R_63_7_PLACE,R_63_6_HIS) )
         => ? [R_63_9__APOS_D_HAVE_KISSED,R_63_12_YOU,R_63_8_I,R_63_16_AND,R_63_15_GOOD,R_63_17_HARD] :
              ( you(R_63_12_YOU)
              & i(R_63_8_I)
              & good(R_63_15_GOOD)
              & hard(R_63_17_HARD)
              & _apos_d_have_kissed(R_63_9__APOS_D_HAVE_KISSED,R_63_8_I,R_63_12_YOU)
              & nim38(R_63_9__APOS_D_HAVE_KISSED,R_63_8_I)
              & nim43(R_63_9__APOS_D_HAVE_KISSED,R_63_16_AND)
              & and(R_63_16_AND)
              & conj1(R_63_16_AND,R_63_15_GOOD)
              & conj2(R_63_16_AND,R_63_17_HARD) ) )
      & conj2(CONJ2)
      & as(R_63_19_AS)
      & conj1(R_63_19_AS,R_63_21__APOS_M_TEMPTED)
      & _apos_m_tempted(R_63_21__APOS_M_TEMPTED,Z_63_A_LOB_N02_66,R_63_23_TO,R_63_20_I)
      & to(R_63_23_TO,R_63_20_I)
      & nim73(R_63_23_TO,R_63_24_NOW) ) ).

( (IP-MAT (ILYR (PP-SCON (P-CONN If;{if})
                         (IP-ADV (NP-SBJ;{PIERS} (PRO I;{I}))
                                 (HVD;_cat_Ve_ <apos>d;{have})
                                 (IP-PPL-CAT (BEN;_Ipr_ been;{be[in]})
                                             (PP-CLR (P-ROLE in;{in})
                                                     (NP (NP-GEN;{FORREST} (PRO;_genm_ his;{his}))
                                                         (N place;{place}))))))
                (NP-SBJ;{PIERS} (PRO I;{I}))
                (MD;_cat_Vi_ <apos>d;{will})
                (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                            (IP-PPL-CAT (VVN;__ kissed;{kiss})
                                        (NP-OB1;{BERYL} (PRO you;{you}))
                                        (NP-RFL;{PIERS} (PNX myself;{myself}))
                                        (PUNC <mdash>)
                                        (ADVP-NIM (AVLYR (AVLYR (ADV good;{good}))
                                                         (CONJP (CONJ and;{and})
                                                                (AVLYR (ADV hard;{hard}))))))))
          (PUNC ,)
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (BEP;_cat_VePASS_ <apos>m;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;__ tempted;{tempt})
                                       (IP-INF-OB1 (TO to;{to})
                                                   (ADVP-NIM (ADV now;{now}))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 63_a_lob_n02))