TSPC 97_a_lob

97_a_lob_a01
He quoted from this letter which Mr Gaitskell had received:

( (IP-MAT (NP-SBJ (PRO He;{he}))
          (VBD;__ quoted;{quote})
          (PP-NIM (P-ROLE from;{from})
                  (NP (D this;{this})
                      (N letter;{letter})
                      (IP-REL (NP-121 (RPRO which;{which}))
                              (NP-SBJ (N Mr;{mr})
                                      (NPR Gaitskell;{Gaitskell}))
                              (HVD;_cat_Ve_ had;{have})
                              (IP-PPL-CAT (NP-OB1 *ICH*-121)
                                          (VVN;__ received;{receive})))))
          (PUNC :))
  (ID 97_a_lob_a01))

arc(r_0097_0002__quoted,r_0097_0001__He,arg0).
arc(r_0097_0002__quoted,r_0097_0004__this_r_0097_0005__letter,r_0097_0003__from__nim).
arc(r_0097_0009__had,r_0097_0010__received,scope).
arc(r_0097_0010__received,r_0097_0004__this_r_0097_0005__letter,arg1).
arc(r_0097_0010__received,r_0097_0007__Mr_r_0097_0008__Gaitskell,arg0).

fof(formula,axiom,
    ? [R_0097_0001__HE,R_0097_0004__THIS_R_0097_0005__LETTER,R_0097_0002__QUOTED,R_0097_0007__MR_R_0097_0008__GAITSKELL,R_0097_0009__HAD_R_0097_0010__RECEIVED] :
      ( r_0097_0001__He(R_0097_0001__HE)
      & r_0097_0004__this_r_0097_0005__letter(R_0097_0004__THIS_R_0097_0005__LETTER)
      & r_0097_0007__Mr_r_0097_0008__Gaitskell(R_0097_0007__MR_R_0097_0008__GAITSKELL)
      & r_0097_0009__had_r_0097_0010__received(R_0097_0009__HAD_R_0097_0010__RECEIVED)
      & has_arg0(R_0097_0009__HAD_R_0097_0010__RECEIVED,R_0097_0007__MR_R_0097_0008__GAITSKELL)
      & has_arg1(R_0097_0009__HAD_R_0097_0010__RECEIVED,R_0097_0004__THIS_R_0097_0005__LETTER)
      & r_0097_0002__quoted(R_0097_0002__QUOTED)
      & has_r_0097_0003__from__nim(R_0097_0002__QUOTED,R_0097_0004__THIS_R_0097_0005__LETTER)
      & has_arg0(R_0097_0002__QUOTED,R_0097_0001__HE) ) ).