54_a_loosechange
I took this fraternisation as defeat but I had to introduce her to a better portrait.
( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
(VBD;_Cn.n/a_ took;{take[as]})
(NP-OB1 (D this;{this})
(N fraternisation;{fraternization}))
(PP-PRD (P-ROLE as;{as})
(NP (N defeat;{defeat}))))
(CONJP (CONJ but;{but})
(ILYR (NP-SBJ (PRO I;{I}))
(HVD;_cat_Vt_ had;{have})
(IP-INF-CAT (TO to;{to})
(VB;_Tn.pr_ introduce;{introduce[to]})
(NP-OB1;{LAYLOR} (PRO her;{her}))
(PP-CLR (P-ROLE to;{to})
(NP (D a;{a})
(ADJP (ADJR better;{good}))
(N portrait;{portrait})))))))
(PUNC .))
(ID 54_a_loosechange))
arc(r_0054_0002__took,r_0054_0001__I,arg0).
arc(r_0054_0002__took,r_0054_0003__this_r_0054_0004__fraternisation,arg1).
arc(r_0054_0002__took,r_0054_0006__defeat,r_0054_0005__as__prd).
arc(r_0054_0007__but,r_0054_0002__took,conj1).
arc(r_0054_0007__but,r_0054_0009__had,conj2).
arc(r_0054_0009__had,r_0054_0011__introduce_r_0054_0013__to,scope).
arc(r_0054_0011__introduce_r_0054_0013__to,r_0054_0001__I,arg0).
arc(r_0054_0011__introduce_r_0054_0013__to,r_0054_0012__her,arg1).
arc(r_0054_0011__introduce_r_0054_0013__to,r_0054_0014__a_r_0054_0016__portrait,arg2).
arc(r_0054_0014__a_r_0054_0016__portrait,r_0054_0015__better,attrib).
fof(formula,axiom,
? [R_0054_0001__I,R_0054_0003__THIS_R_0054_0004__FRATERNISATION,R_0054_0006__DEFEAT,R_0054_0002__TOOK,R_0054_0012__HER,R_0054_0015__BETTER,R_0054_0014__A_R_0054_0016__PORTRAIT,R_0054_0009__HAD_R_0054_0011__INTRODUCE_R_0054_0013__TO,R_0054_0007__BUT] :
( r_0054_0001__I(R_0054_0001__I)
& r_0054_0003__this_r_0054_0004__fraternisation(R_0054_0003__THIS_R_0054_0004__FRATERNISATION)
& r_0054_0006__defeat(R_0054_0006__DEFEAT)
& r_0054_0012__her(R_0054_0012__HER)
& r_0054_0015__better(R_0054_0015__BETTER)
& r_0054_0007__but(R_0054_0007__BUT)
& has_conj2(R_0054_0007__BUT,R_0054_0009__HAD_R_0054_0011__INTRODUCE_R_0054_0013__TO)
& r_0054_0009__had_r_0054_0011__introduce_r_0054_0013__to(R_0054_0009__HAD_R_0054_0011__INTRODUCE_R_0054_0013__TO)
& has_arg2(R_0054_0009__HAD_R_0054_0011__INTRODUCE_R_0054_0013__TO,R_0054_0014__A_R_0054_0016__PORTRAIT)
& r_0054_0014__a_r_0054_0016__portrait(R_0054_0014__A_R_0054_0016__PORTRAIT)
& has_attrib(R_0054_0014__A_R_0054_0016__PORTRAIT,R_0054_0015__BETTER)
& has_arg1(R_0054_0009__HAD_R_0054_0011__INTRODUCE_R_0054_0013__TO,R_0054_0012__HER)
& has_arg0(R_0054_0009__HAD_R_0054_0011__INTRODUCE_R_0054_0013__TO,R_0054_0001__I)
& has_conj1(R_0054_0007__BUT,R_0054_0002__TOOK)
& r_0054_0002__took(R_0054_0002__TOOK)
& has_r_0054_0005__as__prd(R_0054_0002__TOOK,R_0054_0006__DEFEAT)
& has_arg1(R_0054_0002__TOOK,R_0054_0003__THIS_R_0054_0004__FRATERNISATION)
& has_arg0(R_0054_0002__TOOK,R_0054_0001__I) ) ).