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.

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_0005__that_r_0085_0021__would, r_0085_0022__have, scope).
arc(r_0085_0006__if, r_0085_0005__that_r_0085_0021__would, scope).
arc(r_0085_0006__if, r_0085_0008__had, restriction).
arc(r_0085_0008__had, r_0085_0010__insisted, scope).
arc(r_0085_0010__insisted, r_0085_0007__I, arg0).
arc(r_0085_0010__insisted, r_0085_0009__absolutely, nim25).
arc(r_0085_0010__insisted, r_0085_0012__sailing, r_0085_0011__on_clr33).
arc(r_0085_0010__insisted, r_0085_0014__the_r_0085_0015__time, r_0085_0013__at_nim39).
arc(r_0085_0017__arranged, r_0085_0014__the_r_0085_0015__time, arg1).
arc(r_0085_0017__arranged, r_0085_0016__originally, nim47).
arc(r_0085_0017__arranged, z_000_85_a_lob_n02_45, arg0).
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_0002__The_r_0085_0003__truth, arg1).
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_0027__Guy, r_0085_0026__for_clr75).

fof(formula,axiom,
    ? [R_85_4_IS,R_85_2_THE_TRUTH,R_85_17_ARRANGED,Z_85_A_LOB_N02_45,R_85_14_THE_TIME,R_85_16_ORIGINALLY] :
      ( the_truth(R_85_2_THE_TRUTH)
      & the_time(R_85_14_THE_TIME)
      & originally(R_85_16_ORIGINALLY)
      & ! [R_85_8_HAD_INSISTED,R_85_7_I,R_85_9_ABSOLUTELY,R_85_12_SAILING] :
          ( ( i(R_85_7_I)
            & absolutely(R_85_9_ABSOLUTELY)
            & sailing(R_85_12_SAILING)
            & had_insisted(R_85_8_HAD_INSISTED,R_85_7_I)
            & nim25(R_85_8_HAD_INSISTED,R_85_9_ABSOLUTELY)
            & on_clr33(R_85_8_HAD_INSISTED,R_85_12_SAILING)
            & at_nim39(R_85_8_HAD_INSISTED,R_85_14_THE_TIME) )
         => ? [R_85_5_THAT_WOULD_HAVE_HAD_IN,R_85_19_SIR_JOHN,R_85_27_GUY] :
              ( sir_John(R_85_19_SIR_JOHN)
              & guy(R_85_27_GUY)
              & that_would_have_had_in(R_85_5_THAT_WOULD_HAVE_HAD_IN,R_85_19_SIR_JOHN,R_85_2_THE_TRUTH)
              & for_clr75(R_85_5_THAT_WOULD_HAVE_HAD_IN,R_85_27_GUY) ) )
      & prd(PRD)
      & is(R_85_4_IS,R_85_2_THE_TRUTH)
      & arranged(R_85_17_ARRANGED,Z_85_A_LOB_N02_45,R_85_14_THE_TIME)
      & nim47(R_85_17_ARRANGED,R_85_16_ORIGINALLY) ) ).

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