TSPC 85_a_lob

85_a_lob_n02
‘The truth is that if I had absolutely insisted on sailing at the time originally arranged, Sir John would have had it in for Guy.

( (IP-MAT (PULQ <lquo>)
          (NP-SBJ (D The;{the})
                  (N truth;{truth}))
          (BEP;_equ_Vf_ is;{be})
          (CP-THT-PRD (IP-SUB (C that;{that})
                              (PP-SCON (P-CONN if;{if})
                                       (IP-ADV (NP-SBJ;{BERYL} (PRO I;{I}))
                                               (HVD;_cat_Ve_ had;{have})
                                               (IP-PPL-CAT (ADVP-NIM (ADV absolutely;{absolutely}))
                                                           (VVN;_Ipr_ insisted;{insist[on]})
                                                           (PP-CLR (P-ROLE on;{on})
                                                                   (NP (N sailing;{sailing})))
                                                           (PP-NIM (P-ROLE at;{at})
                                                                   (NP (D the;{the})
                                                                       (N time;{time})
                                                                       (IP-PPL (NP-LGS *)
                                                                               (ADVP-NIM (ADV originally;{originally}))
                                                                               (VVN;_Tn_ arranged;{arrange})))))))
                              (PUNC ,)
                              (NP-SBJ;{SIR_JOHN} (N Sir;{sir})
                                                 (NPR John;{John}))
                              (MD;_cat_Vi_ would;{will})
                              (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                          (IP-PPL-CAT (HVN;_phr_Vn.p.pr_ had;{have[in,for]})
                                                      (NP-OB1 (PRO it;{it}))
                                                      (RP in;{in})
                                                      (PP-CLR (P-ROLE for;{for})
                                                              (NP;{FORREST} (NPR Guy;{Guy})))))))
          (PUNC .))
  (ID 85_a_lob_n02))

arc(r_0085_0004__is,r_0085_0002__The_r_0085_0003__truth,arg0).
arc(r_0085_0004__is,r_0085_0006__if,prd).
arc(r_0085_0006__if,r_0085_0008__had,restriction).
arc(r_0085_0006__if,r_0085_0021__would,scope).
arc(r_0085_0008__had,r_0085_0010__insisted_r_0085_0011__on,scope).
arc(r_0085_0010__insisted_r_0085_0011__on,r_0085_0007__I,arg0).
arc(r_0085_0010__insisted_r_0085_0011__on,r_0085_0009__absolutely,nim).
arc(r_0085_0010__insisted_r_0085_0011__on,r_0085_0012__sailing,arg1).
arc(r_0085_0010__insisted_r_0085_0011__on,r_0085_0014__the_r_0085_0015__time,r_0085_0013__at__nim).
arc(r_0085_0017__arranged,r_0085_0014__the_r_0085_0015__time,inv_arg1).
arc(r_0085_0017__arranged,r_0085_0016__originally,nim).
arc(r_0085_0017__arranged,z_0085_5008___star_,arg0).
arc(r_0085_0021__would,r_0085_0022__have,scope).
arc(r_0085_0022__have,r_0085_0023__had_r_0085_0025__in,scope).
arc(r_0085_0023__had_r_0085_0025__in,r_0085_0019__Sir_r_0085_0020__John,arg0).
arc(r_0085_0023__had_r_0085_0025__in,r_0085_0024__it,arg1).
arc(r_0085_0023__had_r_0085_0025__in,r_0085_0027__Guy,r_0085_0026__for__clr).

fof(formula,axiom,
    ? [R_0085_0002__THE_R_0085_0003__TRUTH,R_0085_0004__IS] :
      ( r_0085_0002__The_r_0085_0003__truth(R_0085_0002__THE_R_0085_0003__TRUTH)
      & r_0085_0004__is(R_0085_0004__IS)
      & ! [R_0085_0008__HAD_R_0085_0010__INSISTED_R_0085_0011__ON,R_0085_0007__I,R_0085_0009__ABSOLUTELY,R_0085_0012__SAILING,R_0085_0016__ORIGINALLY,Z_0085_5008___STAR_,R_0085_0017__ARRANGED,R_0085_0014__THE_R_0085_0015__TIME] :
          ( ( r_0085_0007__I(R_0085_0007__I)
            & r_0085_0009__absolutely(R_0085_0009__ABSOLUTELY)
            & r_0085_0012__sailing(R_0085_0012__SAILING)
            & r_0085_0016__originally(R_0085_0016__ORIGINALLY)
            & z_0085_5008___star_(Z_0085_5008___STAR_)
            & r_0085_0008__had_r_0085_0010__insisted_r_0085_0011__on(R_0085_0008__HAD_R_0085_0010__INSISTED_R_0085_0011__ON)
            & has_r_0085_0013__at__nim(R_0085_0008__HAD_R_0085_0010__INSISTED_R_0085_0011__ON,R_0085_0014__THE_R_0085_0015__TIME)
            & r_0085_0014__the_r_0085_0015__time(R_0085_0014__THE_R_0085_0015__TIME)
            & has_inv_arg1(R_0085_0014__THE_R_0085_0015__TIME,R_0085_0017__ARRANGED)
            & r_0085_0017__arranged(R_0085_0017__ARRANGED)
            & has_arg0(R_0085_0017__ARRANGED,Z_0085_5008___STAR_)
            & has_nim(R_0085_0017__ARRANGED,R_0085_0016__ORIGINALLY)
            & has_arg1(R_0085_0008__HAD_R_0085_0010__INSISTED_R_0085_0011__ON,R_0085_0012__SAILING)
            & has_nim(R_0085_0008__HAD_R_0085_0010__INSISTED_R_0085_0011__ON,R_0085_0009__ABSOLUTELY)
            & has_arg0(R_0085_0008__HAD_R_0085_0010__INSISTED_R_0085_0011__ON,R_0085_0007__I) )
         => ? [R_0085_0019__SIR_R_0085_0020__JOHN,R_0085_0024__IT,R_0085_0027__GUY,R_0085_0021__WOULD_R_0085_0022__HAVE_R_0085_0023__HAD_R_0085_0025__IN] :
              ( r_0085_0019__Sir_r_0085_0020__John(R_0085_0019__SIR_R_0085_0020__JOHN)
              & r_0085_0024__it(R_0085_0024__IT)
              & r_0085_0027__Guy(R_0085_0027__GUY)
              & r_0085_0021__would_r_0085_0022__have_r_0085_0023__had_r_0085_0025__in(R_0085_0021__WOULD_R_0085_0022__HAVE_R_0085_0023__HAD_R_0085_0025__IN)
              & has_r_0085_0026__for__clr(R_0085_0021__WOULD_R_0085_0022__HAVE_R_0085_0023__HAD_R_0085_0025__IN,R_0085_0027__GUY)
              & has_arg1(R_0085_0021__WOULD_R_0085_0022__HAVE_R_0085_0023__HAD_R_0085_0025__IN,R_0085_0024__IT)
              & has_arg0(R_0085_0021__WOULD_R_0085_0022__HAVE_R_0085_0023__HAD_R_0085_0025__IN,R_0085_0019__SIR_R_0085_0020__JOHN) ) )
      & has_arg0(R_0085_0004__IS,R_0085_0002__THE_R_0085_0003__TRUTH) ) ).