TSPC 63_a_lob

63_a_lob_a01
But he said discussions ‘on a higher level than in the past’ might be useful.

( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ;{KENNEDY} (PRO he;{he}))
          (VBD;_Tf_ said;{say})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (NS discussions;{discussion})
                                      (PULQ <lquo>)
                                      (PP (P-ROLE on;{on})
                                          (NP (D a;{a})
                                              (ADJP (ADJR higher;{high})
                                                    (PP *ICH*-148))
                                              (N level;{level})
                                              (PP-EPD-148 (P-ROLE than;{than})
                                                          (IP-ADV (PP-NIM (P-ROLE in;{in})
                                                                          (NP (D the;{the})
                                                                              (N past;{past})))))))
                                      (PURQ <rquo>))
                              (MD;_cat_Vi_ might;{may})
                              (IP-INF-CAT (BE;_La_ be;{be})
                                          (ADJP-PRD (ADJ useful;{useful})))))
          (PUNC .))
  (ID 63_a_lob_a01))

arc(r_0063_0003__said,r_0063_0002__he,arg0).
arc(r_0063_0003__said,r_0063_0015__might,arg1).
arc(r_0063_0004__discussions,r_0063_0007__a_r_0063_0009__level,r_0063_0006__on).
arc(r_0063_0007__a_r_0063_0009__level,r_0063_0008__higher,attrib).
arc(r_0063_0008__higher,z_0063_5008,r_0063_0010__than).
arc(r_0063_0015__might,r_0063_0016__be,scope).
arc(r_0063_0016__be,r_0063_0004__discussions,arg0).
arc(r_0063_0016__be,r_0063_0017__useful,prd).
arc(z_0063_5008,r_0063_0012__the_r_0063_0013__past,r_0063_0011__in__nim).
arc(z_0063_5008,z_0063_5006,arg0).

fof(formula,axiom,
    ? [R_0063_0002__HE,R_0063_0012__THE_R_0063_0013__PAST,Z_0063_5006,Z_0063_5008,R_0063_0008__HIGHER,R_0063_0007__A_R_0063_0009__LEVEL,R_0063_0004__DISCUSSIONS,R_0063_0017__USEFUL,R_0063_0015__MIGHT_R_0063_0016__BE,R_0063_0003__SAID] :
      ( r_0063_0002__he(R_0063_0002__HE)
      & r_0063_0012__the_r_0063_0013__past(R_0063_0012__THE_R_0063_0013__PAST)
      & r_0063_0017__useful(R_0063_0017__USEFUL)
      & z_0063_5006(Z_0063_5006)
      & r_0063_0003__said(R_0063_0003__SAID)
      & has_arg1(R_0063_0003__SAID,R_0063_0015__MIGHT_R_0063_0016__BE)
      & r_0063_0015__might_r_0063_0016__be(R_0063_0015__MIGHT_R_0063_0016__BE)
      & has_prd(R_0063_0015__MIGHT_R_0063_0016__BE,R_0063_0017__USEFUL)
      & has_arg0(R_0063_0015__MIGHT_R_0063_0016__BE,R_0063_0004__DISCUSSIONS)
      & r_0063_0004__discussions(R_0063_0004__DISCUSSIONS)
      & has_r_0063_0006__on(R_0063_0004__DISCUSSIONS,R_0063_0007__A_R_0063_0009__LEVEL)
      & r_0063_0007__a_r_0063_0009__level(R_0063_0007__A_R_0063_0009__LEVEL)
      & has_attrib(R_0063_0007__A_R_0063_0009__LEVEL,R_0063_0008__HIGHER)
      & r_0063_0008__higher(R_0063_0008__HIGHER)
      & has_r_0063_0010__than(R_0063_0008__HIGHER,Z_0063_5008)
      & z_0063_5008(Z_0063_5008)
      & has_arg0(Z_0063_5008,Z_0063_5006)
      & has_r_0063_0011__in__nim(Z_0063_5008,R_0063_0012__THE_R_0063_0013__PAST)
      & has_arg0(R_0063_0003__SAID,R_0063_0002__HE) ) ).