TSPC 60_a_lob

60_a_lob_a01
He said bluntly in Washington yesterday that the offer — <pound> 357 million — was not good enough.

( (IP-MAT (NP-SBJ;{KENNEDY} (PRO He;{he}))
          (VBD;_Tf_ said;{say})
          (ADVP-NIM (ADV bluntly;{bluntly}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (NPR Washington;{Washington})))
          (ADVP-NIM (ADV yesterday;{yesterday}))
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ (D the;{the})
                                      (N offer;{offer})
                                      (PUNC <mdash>)
                                      (PRN (NP (N <pound>)
                                               (NUM 357)
                                               (N million;{million})))
                                      (PUNC <mdash>))
                              (BED;_La_ was;{be})
                              (NEG not;{not})
                              (ADJP-PRD (ADJ good;{good})
                                        (ADVP (ADV enough;{enough})))))
          (PUNC .))
  (ID 60_a_lob_a01))

arc(r_0060_0002__said,r_0060_0001__He,arg0).
arc(r_0060_0002__said,r_0060_0003__bluntly,nim).
arc(r_0060_0002__said,r_0060_0005__Washington,r_0060_0004__in__nim).
arc(r_0060_0002__said,r_0060_0006__yesterday,nim).
arc(r_0060_0002__said,r_0060_0016__not,arg1).
arc(r_0060_0015__was,r_0060_0008__the_r_0060_0009__offer,arg0).
arc(r_0060_0015__was,r_0060_0017__good,prd).
arc(r_0060_0016__not,r_0060_0015__was,keep_scope).
arc(r_0060_0017__good,r_0060_0018__enough,qual).
arc(z_0060_5004,r_0060_0008__the_r_0060_0009__offer,arg0).
arc(z_0060_5004,r_0060_0011___pound__r_0060_0012__357_r_0060_0013__million,prd).

fof(formula,axiom,
    ? [R_0060_0001__HE,R_0060_0003__BLUNTLY,R_0060_0005__WASHINGTON,R_0060_0006__YESTERDAY,R_0060_0002__SAID,R_0060_0008__THE_R_0060_0009__OFFER,R_0060_0011___POUND__R_0060_0012__357_R_0060_0013__MILLION,Z_0060_5004] :
      ( r_0060_0001__He(R_0060_0001__HE)
      & r_0060_0003__bluntly(R_0060_0003__BLUNTLY)
      & r_0060_0005__Washington(R_0060_0005__WASHINGTON)
      & r_0060_0006__yesterday(R_0060_0006__YESTERDAY)
      & r_0060_0008__the_r_0060_0009__offer(R_0060_0008__THE_R_0060_0009__OFFER)
      & r_0060_0011___pound__r_0060_0012__357_r_0060_0013__million(R_0060_0011___POUND__R_0060_0012__357_R_0060_0013__MILLION)
      & z_0060_5004(Z_0060_5004)
      & has_prd(Z_0060_5004,R_0060_0011___POUND__R_0060_0012__357_R_0060_0013__MILLION)
      & has_arg0(Z_0060_5004,R_0060_0008__THE_R_0060_0009__OFFER)
      & r_0060_0002__said(R_0060_0002__SAID)
      & has_arg1(R_0060_0002__SAID,R_0060_0016__NOT)
      & ~ ? [R_0060_0018__ENOUGH,R_0060_0017__GOOD,R_0060_0015__WAS] :
            ( r_0060_0018__enough(R_0060_0018__ENOUGH)
            & r_0060_0015__was(R_0060_0015__WAS)
            & has_prd(R_0060_0015__WAS,R_0060_0017__GOOD)
            & r_0060_0017__good(R_0060_0017__GOOD)
            & has_qual(R_0060_0017__GOOD,R_0060_0018__ENOUGH)
            & has_arg0(R_0060_0015__WAS,R_0060_0008__THE_R_0060_0009__OFFER) )
      & has_nim(R_0060_0002__SAID,R_0060_0006__YESTERDAY)
      & has_r_0060_0004__in__nim(R_0060_0002__SAID,R_0060_0005__WASHINGTON)
      & has_nim(R_0060_0002__SAID,R_0060_0003__BLUNTLY)
      & has_arg0(R_0060_0002__SAID,R_0060_0001__HE) ) ).