TSPC 124_a_lob

124_a_lob_a01
Mr Powell devoted half his speech to giving details of plans for improving the hospital service, on which indeed the government is making progress.

( (IP-MAT (NP-SBJ;{POWELL} (N Mr;{mr})
                           (NPR Powell;{Powell}))
          (VBD;__ devoted;{devote})
          (NP-OB1 (Q half;{half})
                  (NP-GEN;{POWELL} (PRO;_genm_ his;{his}))
                  (N speech;{speech})
                  (PP (P-ROLE to;{to})
                      (IP-PPL (VAG;__ giving;{give})
                              (NP-OB1 (NS details;{detail})
                                      (PP (P-ROLE of;{of})
                                          (NP (NS plans;{plan})
                                              (PP (P-ROLE for;{for})
                                                  (IP-PPL (VAG;__ improving;{improve})
                                                          (NP-OB1 (D the;{the})
                                                                  (N hospital;{hospital})
                                                                  (N service;{service})
                                                                  (PUNC ,)
                                                                  (IP-REL (PP-128 (P-ROLE on;{on})
                                                                                  (NP (RPRO which;{which})))
                                                                          (ADVP-NIM (ADV indeed;{indeed}))
                                                                          (NP-SBJ (D the;{the})
                                                                                  (N government;{government}))
                                                                          (BEP;_cat_Vg_ is;{be})
                                                                          (IP-PPL-CAT (VAG;__ making;{make})
                                                                                      (NP-OB1 (N progress;{progress})
                                                                                              (PP *ICH*-128)))))))))))))
          (PUNC .))
  (ID 124_a_lob_a01))

arc(r_0124_0003__devoted,r_0124_0001__Mr_r_0124_0002__Powell,arg0).
arc(r_0124_0003__devoted,r_0124_0006__speech,arg1).
arc(r_0124_0004__half__quant,r_0124_0003__devoted,scope).
arc(r_0124_0004__half__quant,r_0124_0006__speech,restriction).
arc(r_0124_0006__speech,r_0124_0001__Mr_r_0124_0002__Powell,gen).
arc(r_0124_0006__speech,r_0124_0008__giving,r_0124_0007__to).
arc(r_0124_0008__giving,r_0124_0009__details,arg1).
arc(r_0124_0008__giving,z_0124_5006,arg0).
arc(r_0124_0009__details,r_0124_0011__plans,r_0124_0010__of).
arc(r_0124_0011__plans,r_0124_0013__improving,r_0124_0012__for).
arc(r_0124_0013__improving,r_0124_0014__the_r_0124_0015__hospital_r_0124_0016__service,arg1).
arc(r_0124_0013__improving,z_0124_5011,arg0).
arc(r_0124_0023__is,r_0124_0020__indeed,nim).
arc(r_0124_0023__is,r_0124_0024__making,scope).
arc(r_0124_0024__making,r_0124_0021__the_r_0124_0022__government,arg0).
arc(r_0124_0024__making,r_0124_0025__progress,arg1).
arc(r_0124_0025__progress,r_0124_0014__the_r_0124_0015__hospital_r_0124_0016__service,r_0124_0018__on).

fof(formula,axiom,
    ? [R_0124_0020__INDEED,R_0124_0021__THE_R_0124_0022__GOVERNMENT,R_0124_0014__THE_R_0124_0015__HOSPITAL_R_0124_0016__SERVICE,R_0124_0025__PROGRESS,R_0124_0023__IS_R_0124_0024__MAKING] :
      ( r_0124_0014__the_r_0124_0015__hospital_r_0124_0016__service(R_0124_0014__THE_R_0124_0015__HOSPITAL_R_0124_0016__SERVICE)
      & r_0124_0020__indeed(R_0124_0020__INDEED)
      & r_0124_0021__the_r_0124_0022__government(R_0124_0021__THE_R_0124_0022__GOVERNMENT)
      & r_0124_0023__is_r_0124_0024__making(R_0124_0023__IS_R_0124_0024__MAKING)
      & has_arg1(R_0124_0023__IS_R_0124_0024__MAKING,R_0124_0025__PROGRESS)
      & r_0124_0025__progress(R_0124_0025__PROGRESS)
      & has_r_0124_0018__on(R_0124_0025__PROGRESS,R_0124_0014__THE_R_0124_0015__HOSPITAL_R_0124_0016__SERVICE)
      & has_arg0(R_0124_0023__IS_R_0124_0024__MAKING,R_0124_0021__THE_R_0124_0022__GOVERNMENT)
      & has_nim(R_0124_0023__IS_R_0124_0024__MAKING,R_0124_0020__INDEED)
      & ! [R_0124_0006__SPEECH,R_0124_0001__MR_R_0124_0002__POWELL,Z_0124_5011,R_0124_0013__IMPROVING,R_0124_0011__PLANS,R_0124_0009__DETAILS,Z_0124_5006,R_0124_0008__GIVING] :
          ( ( r_0124_0001__Mr_r_0124_0002__Powell(R_0124_0001__MR_R_0124_0002__POWELL)
            & z_0124_5006(Z_0124_5006)
            & z_0124_5011(Z_0124_5011)
            & r_0124_0006__speech(R_0124_0006__SPEECH)
            & has_r_0124_0007__to(R_0124_0006__SPEECH,R_0124_0008__GIVING)
            & r_0124_0008__giving(R_0124_0008__GIVING)
            & has_arg0(R_0124_0008__GIVING,Z_0124_5006)
            & has_arg1(R_0124_0008__GIVING,R_0124_0009__DETAILS)
            & r_0124_0009__details(R_0124_0009__DETAILS)
            & has_r_0124_0010__of(R_0124_0009__DETAILS,R_0124_0011__PLANS)
            & r_0124_0011__plans(R_0124_0011__PLANS)
            & has_r_0124_0012__for(R_0124_0011__PLANS,R_0124_0013__IMPROVING)
            & r_0124_0013__improving(R_0124_0013__IMPROVING)
            & has_arg0(R_0124_0013__IMPROVING,Z_0124_5011)
            & has_arg1(R_0124_0013__IMPROVING,R_0124_0014__THE_R_0124_0015__HOSPITAL_R_0124_0016__SERVICE)
            & has_gen(R_0124_0006__SPEECH,R_0124_0001__MR_R_0124_0002__POWELL) )
         => ? [R_0124_0003__DEVOTED] :
              ( r_0124_0003__devoted(R_0124_0003__DEVOTED)
              & has_arg1(R_0124_0003__DEVOTED,R_0124_0006__SPEECH)
              & has_arg0(R_0124_0003__DEVOTED,R_0124_0001__MR_R_0124_0002__POWELL) ) ) ) ).