74_a_lob_n01
Geoffrey had had no contact with her but Alastair seemed to have developed a tremendous admiration for her intelligence.
arc(r_0074_0002__had, r_0074_0004__no_quant, scope).
arc(r_0074_0003__had, r_0074_0001__Geoffrey, arg0).
arc(r_0074_0003__had, r_0074_0005__contact, arg1).
arc(r_0074_0004__no_quant, r_0074_0003__had, scope).
arc(r_0074_0004__no_quant, r_0074_0005__contact, restriction).
arc(r_0074_0005__contact, r_0074_0007__her, r_0074_0006__with).
arc(r_0074_0008__but, r_0074_0002__had, conj1).
arc(r_0074_0008__but, r_0074_0010__seemed, conj2).
arc(r_0074_0010__seemed, r_0074_0011__to_r_0074_0012__have, scope).
arc(r_0074_0011__to_r_0074_0012__have, r_0074_0013__developed, scope).
arc(r_0074_0013__developed, r_0074_0009__Alastair, arg0).
arc(r_0074_0013__developed, r_0074_0014__a_r_0074_0016__admiration, arg1).
arc(r_0074_0014__a_r_0074_0016__admiration, r_0074_0015__tremendous, attrib43).
arc(r_0074_0014__a_r_0074_0016__admiration, r_0074_0019__intelligence, r_0074_0017__for).
arc(r_0074_0019__intelligence, r_0074_0018__her, gen).
fof(formula,axiom,
? [R_0074_0002__HAD,R_0074_0009__ALASTAIR,R_0074_0015__TREMENDOUS,R_0074_0018__HER,R_0074_0019__INTELLIGENCE,R_0074_0014__A_R_0074_0016__ADMIRATION,R_0074_0010__SEEMED_R_0074_0011__TO_R_0074_0012__HAVE_R_0074_0013__DEVELOPED,R_0074_0008__BUT] :
( r_0074_0009__Alastair(R_0074_0009__ALASTAIR)
& r_0074_0015__tremendous(R_0074_0015__TREMENDOUS)
& r_0074_0018__her(R_0074_0018__HER)
& r_0074_0008__but(R_0074_0008__BUT)
& has_conj2(R_0074_0008__BUT,R_0074_0010__SEEMED_R_0074_0011__TO_R_0074_0012__HAVE_R_0074_0013__DEVELOPED)
& r_0074_0010__seemed_r_0074_0011__to_r_0074_0012__have_r_0074_0013__developed(R_0074_0010__SEEMED_R_0074_0011__TO_R_0074_0012__HAVE_R_0074_0013__DEVELOPED)
& has_arg1(R_0074_0010__SEEMED_R_0074_0011__TO_R_0074_0012__HAVE_R_0074_0013__DEVELOPED,R_0074_0014__A_R_0074_0016__ADMIRATION)
& r_0074_0014__a_r_0074_0016__admiration(R_0074_0014__A_R_0074_0016__ADMIRATION)
& has_r_0074_0017__for(R_0074_0014__A_R_0074_0016__ADMIRATION,R_0074_0019__INTELLIGENCE)
& r_0074_0019__intelligence(R_0074_0019__INTELLIGENCE)
& has_gen(R_0074_0019__INTELLIGENCE,R_0074_0018__HER)
& has_attrib43(R_0074_0014__A_R_0074_0016__ADMIRATION,R_0074_0015__TREMENDOUS)
& has_arg0(R_0074_0010__SEEMED_R_0074_0011__TO_R_0074_0012__HAVE_R_0074_0013__DEVELOPED,R_0074_0009__ALASTAIR)
& has_conj1(R_0074_0008__BUT,R_0074_0002__HAD)
& r_0074_0002__had(R_0074_0002__HAD)
& ! [R_0074_0005__CONTACT,R_0074_0007__HER] :
( ( r_0074_0007__her(R_0074_0007__HER)
& r_0074_0005__contact(R_0074_0005__CONTACT)
& has_r_0074_0006__with(R_0074_0005__CONTACT,R_0074_0007__HER) )
=> ? [R_0074_0001__GEOFFREY,R_0074_0003__HAD] :
( r_0074_0001__Geoffrey(R_0074_0001__GEOFFREY)
& r_0074_0003__had(R_0074_0003__HAD)
& has_arg1(R_0074_0003__HAD,R_0074_0005__CONTACT)
& has_arg0(R_0074_0003__HAD,R_0074_0001__GEOFFREY) ) ) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ;{GEOFFREY} (NPR Geoffrey;{Geoffrey}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (HVN;_Tn_ had;{have})
(NP-OB1 (Q no;{no})
(N contact;{contact})
(PP (P-ROLE with;{with})
(NP;{GLORIA} (PRO her;{her}))))))
(CONJP (CONJ but;{but})
(ILYR (NP-SBJ;{ALASTAIR} (NPR Alastair;{Alastair}))
(VBD;_cat_Vt_ seemed;{seem})
(IP-INF-CAT (TO to;{to})
(HV;_cat_Ve_ have;{have})
(IP-PPL-CAT (VVN;__ developed;{develop})
(NP-OB1 (D a;{a})
(ADJP (ADJ tremendous;{tremendous}))
(N admiration;{admiration})
(PP (P-ROLE for;{for})
(NP (NP-GEN;{GLORIA} (PRO;_genm_ her;{her}))
(N intelligence;{intelligence})))))))))
(PUNC .))
(ID 74_a_lob_n01))