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_74_8_BUT,R_74_10_SEEMED_TO_HAVE_DEVELOPED,R_74_9_ALASTAIR,R_74_14_A_ADMIRATION,R_74_15_TREMENDOUS,R_74_19_INTELLIGENCE,R_74_18_HER] :
( alastair(R_74_9_ALASTAIR)
& tremendous(R_74_15_TREMENDOUS)
& her(R_74_18_HER)
& but(R_74_8_BUT)
& conj1(R_74_8_BUT,R_74_2_HAD)
& ~ ! [R_74_5_CONTACT,R_74_7_HER] :
( ( her(R_74_7_HER)
& contact(R_74_5_CONTACT)
& with(R_74_5_CONTACT,R_74_7_HER) )
=> ? [R_74_3_HAD,R_74_1_GEOFFREY] :
( geoffrey(R_74_1_GEOFFREY)
& had(R_74_3_HAD,R_74_1_GEOFFREY,R_74_5_CONTACT) ) )
& conj2(R_74_8_BUT,R_74_10_SEEMED_TO_HAVE_DEVELOPED)
& seemed_to_have_developed(R_74_10_SEEMED_TO_HAVE_DEVELOPED,R_74_9_ALASTAIR,R_74_14_A_ADMIRATION)
& a_admiration(R_74_14_A_ADMIRATION)
& attrib43(R_74_14_A_ADMIRATION,R_74_15_TREMENDOUS)
& for(R_74_14_A_ADMIRATION,R_74_19_INTELLIGENCE)
& intelligence(R_74_19_INTELLIGENCE)
& gen(R_74_19_INTELLIGENCE,R_74_18_HER) ) ).
( (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))