63_a_lob_n02
If I'd been in his place I'd have kissed you myself — good and hard, as I'm tempted to 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))
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_r_0063_0005__in,scope).
arc(r_0063_0004__been_r_0063_0005__in,r_0063_0002__I,arg0).
arc(r_0063_0004__been_r_0063_0005__in,r_0063_0007__place,arg1).
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_0002__I,arg0).
arc(r_0063_0011__kissed,r_0063_0002__I,rfl).
arc(r_0063_0011__kissed,r_0063_0012__you,arg1).
arc(r_0063_0011__kissed,r_0063_0016__and,nim).
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,z_0063_5005,arg1).
arc(r_0063_0022__tempted,z_0063_5007___star_,arg0).
arc(z_0063_5005,r_0063_0020__I,arg0).
arc(z_0063_5005,r_0063_0024__now,nim).
fof(formula,axiom,
? [R_0063_0020__I,R_0063_0024__NOW,Z_0063_5005,Z_0063_5007___STAR_,R_0063_0021___APOS_M_R_0063_0022__TEMPTED,R_0063_0019__AS] :
( r_0063_0020__I(R_0063_0020__I)
& r_0063_0024__now(R_0063_0024__NOW)
& z_0063_5007___star_(Z_0063_5007___STAR_)
& r_0063_0019__as(R_0063_0019__AS)
& has_conj1(R_0063_0019__AS,R_0063_0021___APOS_M_R_0063_0022__TEMPTED)
& r_0063_0021___apos_m_r_0063_0022__tempted(R_0063_0021___APOS_M_R_0063_0022__TEMPTED)
& has_arg0(R_0063_0021___APOS_M_R_0063_0022__TEMPTED,Z_0063_5007___STAR_)
& has_arg1(R_0063_0021___APOS_M_R_0063_0022__TEMPTED,Z_0063_5005)
& z_0063_5005(Z_0063_5005)
& has_nim(Z_0063_5005,R_0063_0024__NOW)
& has_arg0(Z_0063_5005,R_0063_0020__I)
& has_arg2(R_0063_0021___APOS_M_R_0063_0022__TEMPTED,R_0063_0020__I)
& ! [R_0063_0003___APOS_D_R_0063_0004__BEEN_R_0063_0005__IN,R_0063_0002__I,R_0063_0006__HIS,R_0063_0007__PLACE] :
( ( r_0063_0002__I(R_0063_0002__I)
& r_0063_0006__his(R_0063_0006__HIS)
& r_0063_0003___apos_d_r_0063_0004__been_r_0063_0005__in(R_0063_0003___APOS_D_R_0063_0004__BEEN_R_0063_0005__IN)
& has_arg1(R_0063_0003___APOS_D_R_0063_0004__BEEN_R_0063_0005__IN,R_0063_0007__PLACE)
& r_0063_0007__place(R_0063_0007__PLACE)
& has_gen(R_0063_0007__PLACE,R_0063_0006__HIS)
& has_arg0(R_0063_0003___APOS_D_R_0063_0004__BEEN_R_0063_0005__IN,R_0063_0002__I) )
=> ? [R_0063_0012__YOU,R_0063_0015__GOOD,R_0063_0017__HARD,R_0063_0016__AND,R_0063_0009___APOS_D_R_0063_0010__HAVE_R_0063_0011__KISSED] :
( r_0063_0012__you(R_0063_0012__YOU)
& r_0063_0015__good(R_0063_0015__GOOD)
& r_0063_0017__hard(R_0063_0017__HARD)
& r_0063_0009___apos_d_r_0063_0010__have_r_0063_0011__kissed(R_0063_0009___APOS_D_R_0063_0010__HAVE_R_0063_0011__KISSED)
& has_nim(R_0063_0009___APOS_D_R_0063_0010__HAVE_R_0063_0011__KISSED,R_0063_0016__AND)
& r_0063_0016__and(R_0063_0016__AND)
& has_conj2(R_0063_0016__AND,R_0063_0017__HARD)
& has_conj1(R_0063_0016__AND,R_0063_0015__GOOD)
& has_arg1(R_0063_0009___APOS_D_R_0063_0010__HAVE_R_0063_0011__KISSED,R_0063_0012__YOU)
& has_rfl(R_0063_0009___APOS_D_R_0063_0010__HAVE_R_0063_0011__KISSED,R_0063_0002__I)
& has_arg0(R_0063_0009___APOS_D_R_0063_0010__HAVE_R_0063_0011__KISSED,R_0063_0002__I) ) ) ) ).