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.’
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_0063_0020__I,R_0063_0024__NOW,R_0063_0023__TO,Z_000_63_A_LOB_N02_66,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_000_63_a_lob_n02_66(Z_000_63_A_LOB_N02_66)
& 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_000_63_A_LOB_N02_66)
& has_arg1(R_0063_0021___APOS_M_R_0063_0022__TEMPTED,R_0063_0023__TO)
& r_0063_0023__to(R_0063_0023__TO)
& has_nim73(R_0063_0023__TO,R_0063_0024__NOW)
& has_arg0(R_0063_0023__TO,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_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_0003___APOS_D_R_0063_0004__BEEN)
& has_r_0063_0005__in_clr18(R_0063_0003___APOS_D_R_0063_0004__BEEN,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_0002__I) )
=> ? [R_0063_0008__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_0008__I(R_0063_0008__I)
& 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_nim43(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_nim38(R_0063_0009___APOS_D_R_0063_0010__HAVE_R_0063_0011__KISSED,R_0063_0008__I)
& has_arg0(R_0063_0009___APOS_D_R_0063_0010__HAVE_R_0063_0011__KISSED,R_0063_0008__I) ) ) ) ).
( (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))