TSPC 74_a_lob

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

( (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))

arc(r_0074_0002__had,r_0074_0003__had,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_0002__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_0004__no__quant,conj1).
arc(r_0074_0008__but,r_0074_0010__seemed,conj2).
arc(r_0074_0010__seemed,r_0074_0012__have,scope).
arc(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,attrib).
arc(r_0074_0014__a_r_0074_0016__admiration,r_0074_0019__intelligence,r_0074_0017__for).
arc(r_0074_0019__intelligence,r_0074_0007__her,gen).

fof(formula,axiom,
    ? [R_0074_0009__ALASTAIR,R_0074_0015__TREMENDOUS,R_0074_0007__HER,R_0074_0019__INTELLIGENCE,R_0074_0014__A_R_0074_0016__ADMIRATION,R_0074_0010__SEEMED_R_0074_0012__HAVE_R_0074_0013__DEVELOPED,R_0074_0008__BUT] :
      ( r_0074_0007__her(R_0074_0007__HER)
      & r_0074_0009__Alastair(R_0074_0009__ALASTAIR)
      & r_0074_0015__tremendous(R_0074_0015__TREMENDOUS)
      & r_0074_0008__but(R_0074_0008__BUT)
      & has_conj2(R_0074_0008__BUT,R_0074_0010__SEEMED_R_0074_0012__HAVE_R_0074_0013__DEVELOPED)
      & r_0074_0010__seemed_r_0074_0012__have_r_0074_0013__developed(R_0074_0010__SEEMED_R_0074_0012__HAVE_R_0074_0013__DEVELOPED)
      & has_arg1(R_0074_0010__SEEMED_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_0007__HER)
      & has_attrib(R_0074_0014__A_R_0074_0016__ADMIRATION,R_0074_0015__TREMENDOUS)
      & has_arg0(R_0074_0010__SEEMED_R_0074_0012__HAVE_R_0074_0013__DEVELOPED,R_0074_0009__ALASTAIR)
      & ! [R_0074_0005__CONTACT] :
          ( ( 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_0002__HAD_R_0074_0003__HAD] :
              ( r_0074_0001__Geoffrey(R_0074_0001__GEOFFREY)
              & r_0074_0002__had_r_0074_0003__had(R_0074_0002__HAD_R_0074_0003__HAD)
              & has_arg1(R_0074_0002__HAD_R_0074_0003__HAD,R_0074_0005__CONTACT)
              & has_arg0(R_0074_0002__HAD_R_0074_0003__HAD,R_0074_0001__GEOFFREY) ) ) ) ).