TSPC 35_a_uksc

35_a_uksc_judgment
Drafting the speech itself does not take much time once the substance is clear.

( (IP-MAT (IP-PPL-SBJ (VAG;_Tn_ Drafting;{draft})
                      (NP-OB1 (D the;{the})
                              (N speech;{speech})
                              (NP-RFL (PNX itself;{itself}))))
          (DOP does;{do})
          (NEG not;{not})
          (VB;_Tn_ take;{take})
          (NP-OB1 (ADJP (ADJ much;{much}))
                  (N time;{time}))
          (PP-SCON (P-CONN once;{once})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (N substance;{substance}))
                           (BEP;_La_ is;{be})
                           (ADJP-PRD (ADJ clear;{clear}))))
          (PUNC .))
  (ID 35_a_uksc_judgment))

arc(r_0035_0001__Drafting,r_0035_0002__the_r_0035_0003__speech,arg1).
arc(r_0035_0001__Drafting,z_0035_5003,arg0).
arc(r_0035_0002__the_r_0035_0003__speech,r_0035_0004__itself,rfl).
arc(r_0035_0005__does_r_0035_0007__take,r_0035_0001__Drafting,arg0).
arc(r_0035_0005__does_r_0035_0007__take,r_0035_0009__time,arg1).
arc(r_0035_0006__not,r_0035_0005__does_r_0035_0007__take,keep_scope).
arc(r_0035_0009__time,r_0035_0008__much,attrib).
arc(r_0035_0010__once,r_0035_0006__not,scope).
arc(r_0035_0010__once,r_0035_0013__is,restriction).
arc(r_0035_0013__is,r_0035_0011__the_r_0035_0012__substance,arg0).
arc(r_0035_0013__is,r_0035_0014__clear,prd).

fof(formula,axiom,
    ? [R_0035_0011__THE_R_0035_0012__SUBSTANCE,R_0035_0014__CLEAR,R_0035_0013__IS,R_0035_0010__ONCE] :
      ( r_0035_0011__the_r_0035_0012__substance(R_0035_0011__THE_R_0035_0012__SUBSTANCE)
      & r_0035_0014__clear(R_0035_0014__CLEAR)
      & r_0035_0010__once(R_0035_0010__ONCE)
      & has_conj1(R_0035_0010__ONCE,R_0035_0013__IS)
      & r_0035_0013__is(R_0035_0013__IS)
      & has_prd(R_0035_0013__IS,R_0035_0014__CLEAR)
      & has_arg0(R_0035_0013__IS,R_0035_0011__THE_R_0035_0012__SUBSTANCE)
      & has_conj2(R_0035_0010__ONCE,R_0035_0006__NOT)
      & ~ ? [R_0035_0004__ITSELF,R_0035_0002__THE_R_0035_0003__SPEECH,Z_0035_5003,R_0035_0001__DRAFTING,R_0035_0008__MUCH,R_0035_0009__TIME,R_0035_0005__DOES_R_0035_0007__TAKE] :
            ( r_0035_0004__itself(R_0035_0004__ITSELF)
            & r_0035_0008__much(R_0035_0008__MUCH)
            & z_0035_5003(Z_0035_5003)
            & r_0035_0005__does_r_0035_0007__take(R_0035_0005__DOES_R_0035_0007__TAKE)
            & has_arg1(R_0035_0005__DOES_R_0035_0007__TAKE,R_0035_0009__TIME)
            & r_0035_0009__time(R_0035_0009__TIME)
            & has_attrib(R_0035_0009__TIME,R_0035_0008__MUCH)
            & has_arg0(R_0035_0005__DOES_R_0035_0007__TAKE,R_0035_0001__DRAFTING)
            & r_0035_0001__Drafting(R_0035_0001__DRAFTING)
            & has_arg0(R_0035_0001__DRAFTING,Z_0035_5003)
            & has_arg1(R_0035_0001__DRAFTING,R_0035_0002__THE_R_0035_0003__SPEECH)
            & r_0035_0002__the_r_0035_0003__speech(R_0035_0002__THE_R_0035_0003__SPEECH)
            & has_rfl(R_0035_0002__THE_R_0035_0003__SPEECH,R_0035_0004__ITSELF) ) ) ).