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_0085_0002__THE_R_0085_0003__TRUTH,R_0085_0004__IS,R_0085_0014__THE_R_0085_0015__TIME,R_0085_0016__ORIGINALLY,Z_000_85_A_LOB_N02_45,R_0085_0017__ARRANGED] :
      ( r_0085_0002__The_r_0085_0003__truth(R_0085_0002__THE_R_0085_0003__TRUTH)
      & r_0085_0014__the_r_0085_0015__time(R_0085_0014__THE_R_0085_0015__TIME)
      & r_0085_0016__originally(R_0085_0016__ORIGINALLY)
      & z_000_85_a_lob_n02_45(Z_000_85_A_LOB_N02_45)
      & r_0085_0017__arranged(R_0085_0017__ARRANGED)
      & has_arg0(R_0085_0017__ARRANGED,Z_000_85_A_LOB_N02_45)
      & has_nim47(R_0085_0017__ARRANGED,R_0085_0016__ORIGINALLY)
      & has_arg1(R_0085_0017__ARRANGED,R_0085_0014__THE_R_0085_0015__TIME)
      & r_0085_0004__is(R_0085_0004__IS)
      & ! [R_0085_0008__HAD_R_0085_0010__INSISTED,R_0085_0007__I,R_0085_0009__ABSOLUTELY,R_0085_0012__SAILING] :
          ( ( 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_0008__had_r_0085_0010__insisted(R_0085_0008__HAD_R_0085_0010__INSISTED)
            & has_r_0085_0013__at_nim39(R_0085_0008__HAD_R_0085_0010__INSISTED,R_0085_0014__THE_R_0085_0015__TIME)
            & has_r_0085_0011__on_clr33(R_0085_0008__HAD_R_0085_0010__INSISTED,R_0085_0012__SAILING)
            & has_nim25(R_0085_0008__HAD_R_0085_0010__INSISTED,R_0085_0009__ABSOLUTELY)
            & has_arg0(R_0085_0008__HAD_R_0085_0010__INSISTED,R_0085_0007__I) )
         => ? [R_0085_0019__SIR_R_0085_0020__JOHN,R_0085_0027__GUY,R_0085_0005__THAT_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_0027__Guy(R_0085_0027__GUY)
              & r_0085_0005__that_r_0085_0021__would_r_0085_0022__have_r_0085_0023__had_r_0085_0025__in(R_0085_0005__THAT_R_0085_0021__WOULD_R_0085_0022__HAVE_R_0085_0023__HAD_R_0085_0025__IN)
              & has_r_0085_0026__for_clr75(R_0085_0005__THAT_R_0085_0021__WOULD_R_0085_0022__HAVE_R_0085_0023__HAD_R_0085_0025__IN,R_0085_0027__GUY)
              & has_arg0(R_0085_0005__THAT_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_arg1(R_0085_0005__THAT_R_0085_0021__WOULD_R_0085_0022__HAVE_R_0085_0023__HAD_R_0085_0025__IN,R_0085_0002__THE_R_0085_0003__TRUTH) ) )
      & has_arg0(R_0085_0004__IS,R_0085_0002__THE_R_0085_0003__TRUTH) ) ).

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