TSPC 46_a_hedgehog

46_a_hedgehog
My hon. Friend has been reading my speech or has had prior notice of it.

( (IP-MAT (NP-SBJ (NP-GEN (PRO;_genm_ My;{my}))
                  (N hon<dot>;{honorable})
                  (N Friend;{friend}))
          (ILYR (ILYR (HVP;_cat_Ve_ has;{have})
                      (IP-PPL-CAT (BEN;_cat_Vg_ been;{be})
                                  (IP-PPL-CAT (VAG;_Tn_ reading;{read})
                                              (NP-OB1;{SPEECH} (NP-GEN (PRO;_genm_ my;{my}))
                                                               (N speech;{speech})))))
                (CONJP (CONJ or;{or})
                       (ILYR (HVP;_cat_Ve_ has;{have})
                             (IP-PPL-CAT (HVN;_Tn_ had;{have})
                                         (NP-OB1 (ADJP (ADJ prior;{prior}))
                                                 (N notice;{notice})
                                                 (PP (P-ROLE of;{of})
                                                     (NP;{SPEECH} (PRO it;{it}))))))))
          (PUNC .))
  (ID 46_a_hedgehog;speaker=Colvile))

arc(r_0046_0002__hon_dot__r_0046_0003__Friend,r_0046_0001__My,gen).
arc(r_0046_0004__has,r_0046_0005__been,scope).
arc(r_0046_0005__been,r_0046_0006__reading,scope).
arc(r_0046_0006__reading,r_0046_0002__hon_dot__r_0046_0003__Friend,arg0).
arc(r_0046_0006__reading,r_0046_0008__speech,arg1).
arc(r_0046_0008__speech,r_0046_0001__My,gen).
arc(r_0046_0009__or,r_0046_0004__has,conj1).
arc(r_0046_0009__or,r_0046_0010__has,conj2).
arc(r_0046_0010__has,r_0046_0011__had,scope).
arc(r_0046_0011__had,r_0046_0002__hon_dot__r_0046_0003__Friend,arg0).
arc(r_0046_0011__had,r_0046_0013__notice,arg1).
arc(r_0046_0013__notice,r_0046_0008__speech,r_0046_0014__of).
arc(r_0046_0013__notice,r_0046_0012__prior,attrib).

fof(formula,axiom,
    ? [R_0046_0001__MY,R_0046_0002__HON_DOT__R_0046_0003__FRIEND,R_0046_0008__SPEECH,R_0046_0004__HAS_R_0046_0005__BEEN_R_0046_0006__READING,R_0046_0012__PRIOR,R_0046_0013__NOTICE,R_0046_0010__HAS_R_0046_0011__HAD,R_0046_0009__OR] :
      ( r_0046_0001__My(R_0046_0001__MY)
      & r_0046_0012__prior(R_0046_0012__PRIOR)
      & r_0046_0009__or(R_0046_0009__OR)
      & has_conj2(R_0046_0009__OR,R_0046_0010__HAS_R_0046_0011__HAD)
      & r_0046_0010__has_r_0046_0011__had(R_0046_0010__HAS_R_0046_0011__HAD)
      & has_arg1(R_0046_0010__HAS_R_0046_0011__HAD,R_0046_0013__NOTICE)
      & ~ ( has_attrib(R_0046_0013__NOTICE,R_0046_0012__PRIOR)
          & has_r_0046_0014__of(R_0046_0013__NOTICE,R_0046_0008__SPEECH)
          & r_0046_0008__speech(R_0046_0008__SPEECH)
          & has_gen(R_0046_0008__SPEECH,R_0046_0001__MY) )
      & has_arg0(R_0046_0010__HAS_R_0046_0011__HAD,R_0046_0002__HON_DOT__R_0046_0003__FRIEND)
      & r_0046_0002__hon_dot__r_0046_0003__Friend(R_0046_0002__HON_DOT__R_0046_0003__FRIEND)
      & has_gen(R_0046_0002__HON_DOT__R_0046_0003__FRIEND,R_0046_0001__MY)
      & has_conj1(R_0046_0009__OR,R_0046_0004__HAS_R_0046_0005__BEEN_R_0046_0006__READING)
      & r_0046_0004__has_r_0046_0005__been_r_0046_0006__reading(R_0046_0004__HAS_R_0046_0005__BEEN_R_0046_0006__READING)
      & has_arg1(R_0046_0004__HAS_R_0046_0005__BEEN_R_0046_0006__READING,R_0046_0008__SPEECH)
      & has_arg0(R_0046_0004__HAS_R_0046_0005__BEEN_R_0046_0006__READING,R_0046_0002__HON_DOT__R_0046_0003__FRIEND) ) ).