TSPC 65_a_lob

65_a_lob_a02
His secretary, American-born Mr Ralph Schoenman, said: ‘He is not going to agree to be bound over. That will probably mean jail and, though frail, he is very fit and will take the rigours of prison in his stride. He hopes to be allowed to do some writing.’

( (IP-MAT (NP-SBJ (NP-GEN;{RUSSELL} (PRO;_genm_ His;{his}))
                  (N secretary;{secretary})
                  (PUNC ,)
                  (PRN (NP (ADJP (ADJ American_<hyphen>_born;{american_born}))
                           (N Mr;{mr})
                           (NPR Ralph;{Ralph})
                           (NPR Schoenman;{Schoenman}))))
          (PUNC ,)
          (VBD;_Tr_ said;{say})
          (PUNC :)
          (utterance-OB1 (IP-MAT (PULQ <lquo>)
                                 (NP-SBJ;{RUSSELL} (PRO He;{he}))
                                 (BEP;_cat_Vg_ is;{be})
                                 (NEG not;{not})
                                 (IP-PPL-CAT (VAG;_cat_Vt_ going;{go})
                                             (IP-INF-CAT (TO to;{to})
                                                         (VB;_Tt_ agree;{agree})
                                                         (IP-INF-OB1 (TO to;{to})
                                                                     (BE;_cat_VePASS_ be;{be})
                                                                     (IP-PPL-CAT (NP-LGS *)
                                                                                 (VVN;_phr_Vp.n_ bound;{bind[over]})
                                                                                 (RP over;{over})))))
                                 (PUNC .))
                         (IP-MAT (ILYR (ILYR (NP-SBJ (D;_nphd_ That;{that}))
                                             (MD;_cat_Vi_ will;{will})
                                             (IP-INF-CAT (ADVP-NIM (ADV probably;{probably}))
                                                         (VB;_Tn_ mean;{mean})
                                                         (NP-OB1 (N jail;{jail}))))
                                       (CONJP (CONJ and;{and})
                                              (PUNC ,)
                                              (ILYR (PP-SCON (P-CONN though;{though})
                                                             (IP-ADV (ADJP-PRD (ADJ frail;{frail}))))
                                                    (PUNC ,)
                                                    (NP-SBJ;{RUSSELL} (PRO he;{he}))
                                                    (ILYR (ILYR (BEP;_La_ is;{be})
                                                                (ADJP-PRD (ADVP (ADV very;{very}))
                                                                          (ADJ fit;{fit})))
                                                          (CONJP (CONJ and;{and})
                                                                 (ILYR (MD;_cat_Vi_ will;{will})
                                                                       (IP-INF-CAT (VB;_Tn_ take;{take})
                                                                                   (NP-OB1 (D the;{the})
                                                                                           (NS rigours;{rigour})
                                                                                           (PP (P-ROLE of;{of})
                                                                                               (NP (N prison;{prison}))))
                                                                                   (PP-NIM (P-ROLE in;{in})
                                                                                           (NP (NP-GEN;{RUSSELL} (PRO;_genm_ his;{his}))
                                                                                               (N stride;{stride}))))))))))
                                 (PUNC .))
                         (IP-MAT (NP-SBJ;{RUSSELL} (PRO He;{he}))
                                 (VBP;_Tt_ hopes;{hope})
                                 (IP-INF-OB1 (TO to;{to})
                                             (BE;_cat_VePASS_ be;{be})
                                             (IP-PPL-CAT (NP-LGS *)
                                                         (VVN;_Tnt_ allowed;{allow})
                                                         (IP-INF-OB1 (TO to;{to})
                                                                     (DO;_Tn_ do;{do})
                                                                     (NP-OB1 (D some;{some})
                                                                             (N writing;{writing})))))
                                 (PUNC .)
                                 (PURQ <rquo>))))
  (ID 65_a_lob_a02))

arc(r_0065_0002__secretary,r_0065_0001__His,gen).
arc(r_0065_0005__Mr_r_0065_0006__Ralph_r_0065_0007__Schoenman,r_0065_0004__American__hyphen__born,attrib).
arc(r_0065_0009__said,r_0065_0002__secretary,arg0).
arc(r_0065_0009__said,z_0065_5006__utterance,arg1).
arc(r_0065_0013__is,r_0065_0015__going,scope).
arc(r_0065_0014__not,r_0065_0013__is,keep_scope).
arc(r_0065_0015__going,r_0065_0017__agree,scope).
arc(r_0065_0017__agree,r_0065_0001__His,arg0).
arc(r_0065_0017__agree,r_0065_0019__be,arg1).
arc(r_0065_0019__be,r_0065_0020__bound_r_0065_0021__over,scope).
arc(r_0065_0020__bound_r_0065_0021__over,r_0065_0001__His,arg1).
arc(r_0065_0020__bound_r_0065_0021__over,z_0065_5012___star_,arg0).
arc(r_0065_0024__will,r_0065_0026__mean,scope).
arc(r_0065_0026__mean,r_0065_0023__That,arg0).
arc(r_0065_0026__mean,r_0065_0025__probably,nim).
arc(r_0065_0026__mean,r_0065_0027__jail,arg1).
arc(r_0065_0028__and,r_0065_0024__will,conj1).
arc(r_0065_0028__and,r_0065_0030__though,conj2).
arc(r_0065_0030__though,r_0065_0037__and,scope).
arc(r_0065_0030__though,z_0065_5028,restriction).
arc(r_0065_0034__is,r_0065_0001__His,arg0).
arc(r_0065_0034__is,r_0065_0036__fit,prd).
arc(r_0065_0036__fit,r_0065_0035__very,qual).
arc(r_0065_0037__and,r_0065_0034__is,conj1).
arc(r_0065_0037__and,r_0065_0038__will,conj2).
arc(r_0065_0038__will,r_0065_0039__take,scope).
arc(r_0065_0039__take,r_0065_0001__His,arg0).
arc(r_0065_0039__take,r_0065_0040__the_r_0065_0041__rigours,arg1).
arc(r_0065_0039__take,r_0065_0046__stride,r_0065_0044__in__nim).
arc(r_0065_0040__the_r_0065_0041__rigours,r_0065_0043__prison,r_0065_0042__of).
arc(r_0065_0046__stride,r_0065_0001__His,gen).
arc(r_0065_0049__hopes,r_0065_0001__His,arg0).
arc(r_0065_0049__hopes,r_0065_0051__be,arg1).
arc(r_0065_0051__be,r_0065_0052__allowed,scope).
arc(r_0065_0052__allowed,r_0065_0054__do,arg1).
arc(r_0065_0052__allowed,z_0065_5049___star_,arg0).
arc(r_0065_0054__do,r_0065_0001__His,arg0).
arc(r_0065_0054__do,r_0065_0055__some_r_0065_0056__writing,arg1).
arc(z_0065_5003,r_0065_0002__secretary,arg0).
arc(z_0065_5003,r_0065_0005__Mr_r_0065_0006__Ralph_r_0065_0007__Schoenman,prd).
arc(z_0065_5006__utterance,r_0065_0014__not,part1).
arc(z_0065_5006__utterance,r_0065_0028__and,part2).
arc(z_0065_5006__utterance,r_0065_0049__hopes,part3).
arc(z_0065_5028,r_0065_0031__frail,prd).
arc(z_0065_5028,z_0065_5026,arg0).

fof(formula,axiom,
    ? [R_0065_0001__HIS,R_0065_0002__SECRETARY,R_0065_0023__THAT,R_0065_0025__PROBABLY,R_0065_0027__JAIL,R_0065_0024__WILL_R_0065_0026__MEAN,R_0065_0035__VERY,R_0065_0036__FIT,R_0065_0034__IS,R_0065_0043__PRISON,R_0065_0040__THE_R_0065_0041__RIGOURS,R_0065_0046__STRIDE,R_0065_0038__WILL_R_0065_0039__TAKE,R_0065_0037__AND,R_0065_0031__FRAIL,Z_0065_5026,Z_0065_5028,R_0065_0030__THOUGH,R_0065_0028__AND,R_0065_0055__SOME_R_0065_0056__WRITING,R_0065_0054__DO,Z_0065_5049___STAR_,R_0065_0051__BE_R_0065_0052__ALLOWED,R_0065_0049__HOPES,Z_0065_5006__UTTERANCE,R_0065_0009__SAID,R_0065_0004__AMERICAN__HYPHEN__BORN,R_0065_0005__MR_R_0065_0006__RALPH_R_0065_0007__SCHOENMAN,Z_0065_5003] :
      ( r_0065_0001__His(R_0065_0001__HIS)
      & r_0065_0004__American__hyphen__born(R_0065_0004__AMERICAN__HYPHEN__BORN)
      & r_0065_0023__That(R_0065_0023__THAT)
      & r_0065_0025__probably(R_0065_0025__PROBABLY)
      & r_0065_0027__jail(R_0065_0027__JAIL)
      & r_0065_0031__frail(R_0065_0031__FRAIL)
      & r_0065_0035__very(R_0065_0035__VERY)
      & r_0065_0043__prison(R_0065_0043__PRISON)
      & r_0065_0055__some_r_0065_0056__writing(R_0065_0055__SOME_R_0065_0056__WRITING)
      & z_0065_5026(Z_0065_5026)
      & z_0065_5049___star_(Z_0065_5049___STAR_)
      & z_0065_5003(Z_0065_5003)
      & has_prd(Z_0065_5003,R_0065_0005__MR_R_0065_0006__RALPH_R_0065_0007__SCHOENMAN)
      & r_0065_0005__Mr_r_0065_0006__Ralph_r_0065_0007__Schoenman(R_0065_0005__MR_R_0065_0006__RALPH_R_0065_0007__SCHOENMAN)
      & has_attrib(R_0065_0005__MR_R_0065_0006__RALPH_R_0065_0007__SCHOENMAN,R_0065_0004__AMERICAN__HYPHEN__BORN)
      & has_arg0(Z_0065_5003,R_0065_0002__SECRETARY)
      & r_0065_0002__secretary(R_0065_0002__SECRETARY)
      & has_gen(R_0065_0002__SECRETARY,R_0065_0001__HIS)
      & r_0065_0009__said(R_0065_0009__SAID)
      & has_arg1(R_0065_0009__SAID,Z_0065_5006__UTTERANCE)
      & z_0065_5006__utterance(Z_0065_5006__UTTERANCE)
      & has_part3(Z_0065_5006__UTTERANCE,R_0065_0049__HOPES)
      & r_0065_0049__hopes(R_0065_0049__HOPES)
      & has_arg1(R_0065_0049__HOPES,R_0065_0051__BE_R_0065_0052__ALLOWED)
      & r_0065_0051__be_r_0065_0052__allowed(R_0065_0051__BE_R_0065_0052__ALLOWED)
      & has_arg0(R_0065_0051__BE_R_0065_0052__ALLOWED,Z_0065_5049___STAR_)
      & has_arg1(R_0065_0051__BE_R_0065_0052__ALLOWED,R_0065_0054__DO)
      & r_0065_0054__do(R_0065_0054__DO)
      & has_arg1(R_0065_0054__DO,R_0065_0055__SOME_R_0065_0056__WRITING)
      & has_arg0(R_0065_0054__DO,R_0065_0001__HIS)
      & has_arg0(R_0065_0049__HOPES,R_0065_0001__HIS)
      & has_part2(Z_0065_5006__UTTERANCE,R_0065_0028__AND)
      & r_0065_0028__and(R_0065_0028__AND)
      & has_conj2(R_0065_0028__AND,R_0065_0030__THOUGH)
      & r_0065_0030__though(R_0065_0030__THOUGH)
      & has_conj1(R_0065_0030__THOUGH,Z_0065_5028)
      & z_0065_5028(Z_0065_5028)
      & has_arg0(Z_0065_5028,Z_0065_5026)
      & has_prd(Z_0065_5028,R_0065_0031__FRAIL)
      & has_conj2(R_0065_0030__THOUGH,R_0065_0037__AND)
      & r_0065_0037__and(R_0065_0037__AND)
      & has_conj2(R_0065_0037__AND,R_0065_0038__WILL_R_0065_0039__TAKE)
      & r_0065_0038__will_r_0065_0039__take(R_0065_0038__WILL_R_0065_0039__TAKE)
      & has_r_0065_0044__in__nim(R_0065_0038__WILL_R_0065_0039__TAKE,R_0065_0046__STRIDE)
      & r_0065_0046__stride(R_0065_0046__STRIDE)
      & has_gen(R_0065_0046__STRIDE,R_0065_0001__HIS)
      & has_arg1(R_0065_0038__WILL_R_0065_0039__TAKE,R_0065_0040__THE_R_0065_0041__RIGOURS)
      & r_0065_0040__the_r_0065_0041__rigours(R_0065_0040__THE_R_0065_0041__RIGOURS)
      & has_r_0065_0042__of(R_0065_0040__THE_R_0065_0041__RIGOURS,R_0065_0043__PRISON)
      & has_arg0(R_0065_0038__WILL_R_0065_0039__TAKE,R_0065_0001__HIS)
      & has_conj1(R_0065_0037__AND,R_0065_0034__IS)
      & r_0065_0034__is(R_0065_0034__IS)
      & has_prd(R_0065_0034__IS,R_0065_0036__FIT)
      & r_0065_0036__fit(R_0065_0036__FIT)
      & has_qual(R_0065_0036__FIT,R_0065_0035__VERY)
      & has_arg0(R_0065_0034__IS,R_0065_0001__HIS)
      & has_conj1(R_0065_0028__AND,R_0065_0024__WILL_R_0065_0026__MEAN)
      & r_0065_0024__will_r_0065_0026__mean(R_0065_0024__WILL_R_0065_0026__MEAN)
      & has_arg1(R_0065_0024__WILL_R_0065_0026__MEAN,R_0065_0027__JAIL)
      & has_nim(R_0065_0024__WILL_R_0065_0026__MEAN,R_0065_0025__PROBABLY)
      & has_arg0(R_0065_0024__WILL_R_0065_0026__MEAN,R_0065_0023__THAT)
      & has_part1(Z_0065_5006__UTTERANCE,R_0065_0014__NOT)
      & ~ ? [Z_0065_5012___STAR_,R_0065_0019__BE_R_0065_0020__BOUND_R_0065_0021__OVER,R_0065_0013__IS_R_0065_0015__GOING_R_0065_0017__AGREE] :
            ( z_0065_5012___star_(Z_0065_5012___STAR_)
            & r_0065_0013__is_r_0065_0015__going_r_0065_0017__agree(R_0065_0013__IS_R_0065_0015__GOING_R_0065_0017__AGREE)
            & has_arg1(R_0065_0013__IS_R_0065_0015__GOING_R_0065_0017__AGREE,R_0065_0019__BE_R_0065_0020__BOUND_R_0065_0021__OVER)
            & r_0065_0019__be_r_0065_0020__bound_r_0065_0021__over(R_0065_0019__BE_R_0065_0020__BOUND_R_0065_0021__OVER)
            & has_arg0(R_0065_0019__BE_R_0065_0020__BOUND_R_0065_0021__OVER,Z_0065_5012___STAR_)
            & has_arg1(R_0065_0019__BE_R_0065_0020__BOUND_R_0065_0021__OVER,R_0065_0001__HIS)
            & has_arg0(R_0065_0013__IS_R_0065_0015__GOING_R_0065_0017__AGREE,R_0065_0001__HIS) )
      & has_arg0(R_0065_0009__SAID,R_0065_0002__SECRETARY) ) ).