TSPC 122_a_lob

122_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.

arc(r_0122_0003__devoted, r_0122_0001__Mr_r_0122_0002__Powell, arg0).
arc(r_0122_0003__devoted, r_0122_0006__speech, arg1).
arc(r_0122_0004__half_quant, r_0122_0003__devoted, scope).
arc(r_0122_0004__half_quant, r_0122_0006__speech, restriction).
arc(r_0122_0006__speech, r_0122_0001__Mr_r_0122_0002__Powell, gen).
arc(r_0122_0006__speech, r_0122_0008__giving, r_0122_0007__to).
arc(r_0122_0008__giving, r_0122_0009__details, arg1).
arc(r_0122_0008__giving, z_000_122_a_lob_a01_20, arg0).
arc(r_0122_0009__details, r_0122_0011__plans, r_0122_0010__of).
arc(r_0122_0011__plans, r_0122_0013__improving, r_0122_0012__for).
arc(r_0122_0013__improving, r_0122_0014__the_r_0122_0015__hospital_r_0122_0016__service, arg1).
arc(r_0122_0013__improving, z_000_122_a_lob_a01_35, arg0).
arc(r_0122_0023__is, r_0122_0020__indeed, nim54).
arc(r_0122_0023__is, r_0122_0024__making, scope).
arc(r_0122_0024__making, r_0122_0021__the_r_0122_0022__government, arg0).
arc(r_0122_0024__making, r_0122_0025__progress, arg1).
arc(r_0122_0025__progress, r_0122_0014__the_r_0122_0015__hospital_r_0122_0016__service, r_0122_0018__on).

fof(formula,axiom,
    ? [R_0122_0020__INDEED,R_0122_0021__THE_R_0122_0022__GOVERNMENT,R_0122_0014__THE_R_0122_0015__HOSPITAL_R_0122_0016__SERVICE,R_0122_0025__PROGRESS,R_0122_0023__IS_R_0122_0024__MAKING] :
      ( r_0122_0014__the_r_0122_0015__hospital_r_0122_0016__service(R_0122_0014__THE_R_0122_0015__HOSPITAL_R_0122_0016__SERVICE)
      & r_0122_0020__indeed(R_0122_0020__INDEED)
      & r_0122_0021__the_r_0122_0022__government(R_0122_0021__THE_R_0122_0022__GOVERNMENT)
      & r_0122_0023__is_r_0122_0024__making(R_0122_0023__IS_R_0122_0024__MAKING)
      & has_arg1(R_0122_0023__IS_R_0122_0024__MAKING,R_0122_0025__PROGRESS)
      & r_0122_0025__progress(R_0122_0025__PROGRESS)
      & has_r_0122_0018__on(R_0122_0025__PROGRESS,R_0122_0014__THE_R_0122_0015__HOSPITAL_R_0122_0016__SERVICE)
      & has_arg0(R_0122_0023__IS_R_0122_0024__MAKING,R_0122_0021__THE_R_0122_0022__GOVERNMENT)
      & has_nim54(R_0122_0023__IS_R_0122_0024__MAKING,R_0122_0020__INDEED)
      & ! [R_0122_0006__SPEECH,R_0122_0001__MR_R_0122_0002__POWELL,Z_000_122_A_LOB_A01_35,R_0122_0013__IMPROVING,R_0122_0011__PLANS,R_0122_0009__DETAILS,Z_000_122_A_LOB_A01_20,R_0122_0008__GIVING] :
          ( ( r_0122_0001__Mr_r_0122_0002__Powell(R_0122_0001__MR_R_0122_0002__POWELL)
            & z_000_122_a_lob_a01_20(Z_000_122_A_LOB_A01_20)
            & z_000_122_a_lob_a01_35(Z_000_122_A_LOB_A01_35)
            & r_0122_0006__speech(R_0122_0006__SPEECH)
            & has_r_0122_0007__to(R_0122_0006__SPEECH,R_0122_0008__GIVING)
            & r_0122_0008__giving(R_0122_0008__GIVING)
            & has_arg0(R_0122_0008__GIVING,Z_000_122_A_LOB_A01_20)
            & has_arg1(R_0122_0008__GIVING,R_0122_0009__DETAILS)
            & r_0122_0009__details(R_0122_0009__DETAILS)
            & has_r_0122_0010__of(R_0122_0009__DETAILS,R_0122_0011__PLANS)
            & r_0122_0011__plans(R_0122_0011__PLANS)
            & has_r_0122_0012__for(R_0122_0011__PLANS,R_0122_0013__IMPROVING)
            & r_0122_0013__improving(R_0122_0013__IMPROVING)
            & has_arg0(R_0122_0013__IMPROVING,Z_000_122_A_LOB_A01_35)
            & has_arg1(R_0122_0013__IMPROVING,R_0122_0014__THE_R_0122_0015__HOSPITAL_R_0122_0016__SERVICE)
            & has_gen(R_0122_0006__SPEECH,R_0122_0001__MR_R_0122_0002__POWELL) )
         => ? [R_0122_0003__DEVOTED] :
              ( r_0122_0003__devoted(R_0122_0003__DEVOTED)
              & has_arg1(R_0122_0003__DEVOTED,R_0122_0006__SPEECH)
              & has_arg0(R_0122_0003__DEVOTED,R_0122_0001__MR_R_0122_0002__POWELL) ) ) ) ).

( (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 122_a_lob_a01))