74_a_lob_n01
Geoffrey had had no contact with her but Alastair seemed to have developed a tremendous admiration for her intelligence.

%3 r_0074_0002__had had r_0074_0004__no_quant no [quant] r_0074_0002__had->r_0074_0004__no_quant [scope] r_0074_0003__had had r_0074_0004__no_quant->r_0074_0003__had [scope] r_0074_0005__contact contact r_0074_0004__no_quant->r_0074_0005__contact [restriction] r_0074_0001__Geoffrey Geoffrey r_0074_0003__had->r_0074_0001__Geoffrey [arg0] r_0074_0003__had->r_0074_0005__contact [arg1] r_0074_0007__her her r_0074_0005__contact->r_0074_0007__her with r_0074_0008__but but r_0074_0008__but->r_0074_0002__had [conj1] r_0074_0010__seemed seemed r_0074_0008__but->r_0074_0010__seemed [conj2] r_0074_0011__to_r_0074_0012__have to have r_0074_0010__seemed->r_0074_0011__to_r_0074_0012__have [scope] r_0074_0013__developed developed r_0074_0011__to_r_0074_0012__have->r_0074_0013__developed [scope] r_0074_0009__Alastair Alastair r_0074_0013__developed->r_0074_0009__Alastair [arg0] r_0074_0014__a_r_0074_0016__admiration a admiration r_0074_0013__developed->r_0074_0014__a_r_0074_0016__admiration [arg1] r_0074_0015__tremendous tremendous r_0074_0014__a_r_0074_0016__admiration->r_0074_0015__tremendous [attrib] r_0074_0019__intelligence intelligence r_0074_0014__a_r_0074_0016__admiration->r_0074_0019__intelligence for r_0074_0018__her her r_0074_0019__intelligence->r_0074_0018__her [gen]
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).



%3 r_0074_0002__had had r_0074_0004__no_quant no [quant] r_0074_0002__had->r_0074_0004__no_quant [keep_scope] r_0074_0005__contact contact r_0074_0004__no_quant->r_0074_0005__contact [restriction] r_0074_0003__had had r_0074_0004__no_quant->r_0074_0003__had [scope] r_0074_0019__intelligence intelligence r_0074_0018__her her r_0074_0019__intelligence->r_0074_0018__her [gen] r_0074_0014__a_r_0074_0016__admiration a admiration r_0074_0014__a_r_0074_0016__admiration->r_0074_0019__intelligence for r_0074_0015__tremendous tremendous r_0074_0014__a_r_0074_0016__admiration->r_0074_0015__tremendous [attrib] r_0074_0010__seemed_r_0074_0011__to_r_0074_0012__have_r_0074_0013__developed seemed to have developed r_0074_0010__seemed_r_0074_0011__to_r_0074_0012__have_r_0074_0013__developed->r_0074_0014__a_r_0074_0016__admiration [arg1] r_0074_0009__Alastair Alastair r_0074_0010__seemed_r_0074_0011__to_r_0074_0012__have_r_0074_0013__developed->r_0074_0009__Alastair [arg0] r_0074_0008__but but r_0074_0008__but->r_0074_0002__had [conj1] r_0074_0008__but->r_0074_0010__seemed_r_0074_0011__to_r_0074_0012__have_r_0074_0013__developed [conj2] r_0074_0007__her her r_0074_0005__contact->r_0074_0007__her with r_0074_0003__had->r_0074_0005__contact [arg1] r_0074_0001__Geoffrey Geoffrey r_0074_0003__had->r_0074_0001__Geoffrey [arg0]
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) ) ).



n74_a_lob_n01 n74_a_lob_n01__1_1_1_1_1_1 Geoffrey n74_a_lob_n01__1_1_1_2_1 had n74_a_lob_n01__1_1_1_3_1_1 had n74_a_lob_n01__1_1_1_3_2_1_1 no n74_a_lob_n01__1_1_1_3_2_2_1 contact n74_a_lob_n01__1_1_1_3_2_3_1_1 with n74_a_lob_n01__1_1_1_3_2_3_2_1_1 her n74_a_lob_n01__1_1_2_1_1 but n74_a_lob_n01__1_1_2_2_1_1_1 Alastair n74_a_lob_n01__1_1_2_2_2_1 seemed n74_a_lob_n01__1_1_2_2_3_1_1 to n74_a_lob_n01__1_1_2_2_3_2_1 have n74_a_lob_n01__1_1_2_2_3_3_1_1 developed n74_a_lob_n01__1_1_2_2_3_3_2_1_1 a n74_a_lob_n01__1_1_2_2_3_3_2_2_1_1 tremendous n74_a_lob_n01__1_1_2_2_3_3_2_3_1 admiration n74_a_lob_n01__1_1_2_2_3_3_2_4_1_1 for n74_a_lob_n01__1_1_2_2_3_3_2_4_2_1_1_1 her n74_a_lob_n01__1_1_2_2_3_3_2_4_2_2_1 intelligence n74_a_lob_n01__1_2_1 . n74_a_lob_n01__1 IP-MAT n74_a_lob_n01__1_1 ILYR n74_a_lob_n01__1->n74_a_lob_n01__1_1 n74_a_lob_n01__1_2 PUNC n74_a_lob_n01__1->n74_a_lob_n01__1_2 n74_a_lob_n01__1_1_1 ILYR n74_a_lob_n01__1_1->n74_a_lob_n01__1_1_1 n74_a_lob_n01__1_1_2 CONJP n74_a_lob_n01__1_1->n74_a_lob_n01__1_1_2 n74_a_lob_n01__1_1_1_1 NP-SBJ n74_a_lob_n01__1_1_1->n74_a_lob_n01__1_1_1_1 n74_a_lob_n01__1_1_1_2 HVD;_cat_Ve_ n74_a_lob_n01__1_1_1->n74_a_lob_n01__1_1_1_2 n74_a_lob_n01__1_1_1_3 IP-PPL-CAT n74_a_lob_n01__1_1_1->n74_a_lob_n01__1_1_1_3 n74_a_lob_n01__1_1_1_1_1 NPR n74_a_lob_n01__1_1_1_1->n74_a_lob_n01__1_1_1_1_1 n74_a_lob_n01__1_1_1_1_1->n74_a_lob_n01__1_1_1_1_1_1 n74_a_lob_n01__1_1_1_2->n74_a_lob_n01__1_1_1_2_1 n74_a_lob_n01__1_1_1_3_1 HVN;_Tn_ n74_a_lob_n01__1_1_1_3->n74_a_lob_n01__1_1_1_3_1 n74_a_lob_n01__1_1_1_3_2 NP-OB1 n74_a_lob_n01__1_1_1_3->n74_a_lob_n01__1_1_1_3_2 n74_a_lob_n01__1_1_1_3_1->n74_a_lob_n01__1_1_1_3_1_1 n74_a_lob_n01__1_1_1_3_2_1 Q n74_a_lob_n01__1_1_1_3_2->n74_a_lob_n01__1_1_1_3_2_1 n74_a_lob_n01__1_1_1_3_2_2 N n74_a_lob_n01__1_1_1_3_2->n74_a_lob_n01__1_1_1_3_2_2 n74_a_lob_n01__1_1_1_3_2_3 PP n74_a_lob_n01__1_1_1_3_2->n74_a_lob_n01__1_1_1_3_2_3 n74_a_lob_n01__1_1_1_3_2_1->n74_a_lob_n01__1_1_1_3_2_1_1 n74_a_lob_n01__1_1_1_3_2_2->n74_a_lob_n01__1_1_1_3_2_2_1 n74_a_lob_n01__1_1_1_3_2_3_1 P-ROLE n74_a_lob_n01__1_1_1_3_2_3->n74_a_lob_n01__1_1_1_3_2_3_1 n74_a_lob_n01__1_1_1_3_2_3_2 NP n74_a_lob_n01__1_1_1_3_2_3->n74_a_lob_n01__1_1_1_3_2_3_2 n74_a_lob_n01__1_1_1_3_2_3_1->n74_a_lob_n01__1_1_1_3_2_3_1_1 n74_a_lob_n01__1_1_1_3_2_3_2_1 PRO n74_a_lob_n01__1_1_1_3_2_3_2->n74_a_lob_n01__1_1_1_3_2_3_2_1 n74_a_lob_n01__1_1_1_3_2_3_2_1->n74_a_lob_n01__1_1_1_3_2_3_2_1_1 n74_a_lob_n01__1_1_2_1 CONJ n74_a_lob_n01__1_1_2->n74_a_lob_n01__1_1_2_1 n74_a_lob_n01__1_1_2_2 ILYR n74_a_lob_n01__1_1_2->n74_a_lob_n01__1_1_2_2 n74_a_lob_n01__1_1_2_1->n74_a_lob_n01__1_1_2_1_1 n74_a_lob_n01__1_1_2_2_1 NP-SBJ n74_a_lob_n01__1_1_2_2->n74_a_lob_n01__1_1_2_2_1 n74_a_lob_n01__1_1_2_2_2 VBD;_cat_Vt_ n74_a_lob_n01__1_1_2_2->n74_a_lob_n01__1_1_2_2_2 n74_a_lob_n01__1_1_2_2_3 IP-INF-CAT n74_a_lob_n01__1_1_2_2->n74_a_lob_n01__1_1_2_2_3 n74_a_lob_n01__1_1_2_2_1_1 NPR n74_a_lob_n01__1_1_2_2_1->n74_a_lob_n01__1_1_2_2_1_1 n74_a_lob_n01__1_1_2_2_1_1->n74_a_lob_n01__1_1_2_2_1_1_1 n74_a_lob_n01__1_1_2_2_2->n74_a_lob_n01__1_1_2_2_2_1 n74_a_lob_n01__1_1_2_2_3_1 TO n74_a_lob_n01__1_1_2_2_3->n74_a_lob_n01__1_1_2_2_3_1 n74_a_lob_n01__1_1_2_2_3_2 HV;_cat_Ve_ n74_a_lob_n01__1_1_2_2_3->n74_a_lob_n01__1_1_2_2_3_2 n74_a_lob_n01__1_1_2_2_3_3 IP-PPL-CAT n74_a_lob_n01__1_1_2_2_3->n74_a_lob_n01__1_1_2_2_3_3 n74_a_lob_n01__1_1_2_2_3_1->n74_a_lob_n01__1_1_2_2_3_1_1 n74_a_lob_n01__1_1_2_2_3_2->n74_a_lob_n01__1_1_2_2_3_2_1 n74_a_lob_n01__1_1_2_2_3_3_1 VVN;__ n74_a_lob_n01__1_1_2_2_3_3->n74_a_lob_n01__1_1_2_2_3_3_1 n74_a_lob_n01__1_1_2_2_3_3_2 NP-OB1 n74_a_lob_n01__1_1_2_2_3_3->n74_a_lob_n01__1_1_2_2_3_3_2 n74_a_lob_n01__1_1_2_2_3_3_1->n74_a_lob_n01__1_1_2_2_3_3_1_1 n74_a_lob_n01__1_1_2_2_3_3_2_1 D n74_a_lob_n01__1_1_2_2_3_3_2->n74_a_lob_n01__1_1_2_2_3_3_2_1 n74_a_lob_n01__1_1_2_2_3_3_2_2 ADJP n74_a_lob_n01__1_1_2_2_3_3_2->n74_a_lob_n01__1_1_2_2_3_3_2_2 n74_a_lob_n01__1_1_2_2_3_3_2_3 N n74_a_lob_n01__1_1_2_2_3_3_2->n74_a_lob_n01__1_1_2_2_3_3_2_3 n74_a_lob_n01__1_1_2_2_3_3_2_4 PP n74_a_lob_n01__1_1_2_2_3_3_2->n74_a_lob_n01__1_1_2_2_3_3_2_4 n74_a_lob_n01__1_1_2_2_3_3_2_1->n74_a_lob_n01__1_1_2_2_3_3_2_1_1 n74_a_lob_n01__1_1_2_2_3_3_2_2_1 ADJ n74_a_lob_n01__1_1_2_2_3_3_2_2->n74_a_lob_n01__1_1_2_2_3_3_2_2_1 n74_a_lob_n01__1_1_2_2_3_3_2_2_1->n74_a_lob_n01__1_1_2_2_3_3_2_2_1_1 n74_a_lob_n01__1_1_2_2_3_3_2_3->n74_a_lob_n01__1_1_2_2_3_3_2_3_1 n74_a_lob_n01__1_1_2_2_3_3_2_4_1 P-ROLE n74_a_lob_n01__1_1_2_2_3_3_2_4->n74_a_lob_n01__1_1_2_2_3_3_2_4_1 n74_a_lob_n01__1_1_2_2_3_3_2_4_2 NP n74_a_lob_n01__1_1_2_2_3_3_2_4->n74_a_lob_n01__1_1_2_2_3_3_2_4_2 n74_a_lob_n01__1_1_2_2_3_3_2_4_1->n74_a_lob_n01__1_1_2_2_3_3_2_4_1_1 n74_a_lob_n01__1_1_2_2_3_3_2_4_2_1 NP-GEN n74_a_lob_n01__1_1_2_2_3_3_2_4_2->n74_a_lob_n01__1_1_2_2_3_3_2_4_2_1 n74_a_lob_n01__1_1_2_2_3_3_2_4_2_2 N n74_a_lob_n01__1_1_2_2_3_3_2_4_2->n74_a_lob_n01__1_1_2_2_3_3_2_4_2_2 n74_a_lob_n01__1_1_2_2_3_3_2_4_2_1_1 PRO;_genm_ n74_a_lob_n01__1_1_2_2_3_3_2_4_2_1->n74_a_lob_n01__1_1_2_2_3_3_2_4_2_1_1 n74_a_lob_n01__1_1_2_2_3_3_2_4_2_1_1->n74_a_lob_n01__1_1_2_2_3_3_2_4_2_1_1_1 n74_a_lob_n01__1_1_2_2_3_3_2_4_2_2->n74_a_lob_n01__1_1_2_2_3_3_2_4_2_2_1 n74_a_lob_n01__1_2->n74_a_lob_n01__1_2_1
( (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))