Context                Previous, Next                Top


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.

%3 r_0085_0004__is is r_0085_0002__The_r_0085_0003__truth The truth r_0085_0004__is->r_0085_0002__The_r_0085_0003__truth [arg0] r_0085_0006__if if r_0085_0004__is->r_0085_0006__if [prd] r_0085_0005__that_r_0085_0021__would that would r_0085_0006__if->r_0085_0005__that_r_0085_0021__would [scope] r_0085_0008__had had r_0085_0006__if->r_0085_0008__had [restriction] r_0085_0022__have have r_0085_0005__that_r_0085_0021__would->r_0085_0022__have [scope] r_0085_0023__had_r_0085_0025__in had in r_0085_0022__have->r_0085_0023__had_r_0085_0025__in [scope] r_0085_0010__insisted insisted r_0085_0008__had->r_0085_0010__insisted [scope] r_0085_0007__I I r_0085_0010__insisted->r_0085_0007__I [arg0] r_0085_0009__absolutely absolutely r_0085_0010__insisted->r_0085_0009__absolutely [nim] r_0085_0012__sailing sailing r_0085_0010__insisted->r_0085_0012__sailing on [clr] r_0085_0014__the_r_0085_0015__time the time r_0085_0010__insisted->r_0085_0014__the_r_0085_0015__time at [nim] r_0085_0017__arranged arranged r_0085_0017__arranged->r_0085_0014__the_r_0085_0015__time [arg1] r_0085_0016__originally originally r_0085_0017__arranged->r_0085_0016__originally [nim] z_000_85_a_lob_n02_45 r_0085_0017__arranged->z_000_85_a_lob_n02_45 [arg0] r_0085_0023__had_r_0085_0025__in->r_0085_0002__The_r_0085_0003__truth [arg1] r_0085_0019__Sir_r_0085_0020__John Sir John r_0085_0023__had_r_0085_0025__in->r_0085_0019__Sir_r_0085_0020__John [arg0] r_0085_0027__Guy Guy r_0085_0023__had_r_0085_0025__in->r_0085_0027__Guy for [clr] 
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).


%3 r_0085_0004__is is r_0085_0002__The_r_0085_0003__truth The truth r_0085_0004__is->r_0085_0002__The_r_0085_0003__truth [arg0] r_0085_0006__if if r_0085_0004__is->r_0085_0006__if [prd] r_0085_0005__that_r_0085_0021__would_r_0085_0022__have_r_0085_0023__had_r_0085_0025__in that would have had in r_0085_0006__if->r_0085_0005__that_r_0085_0021__would_r_0085_0022__have_r_0085_0023__had_r_0085_0025__in [scope] r_0085_0008__had_r_0085_0010__insisted had insisted r_0085_0006__if->r_0085_0008__had_r_0085_0010__insisted [restriction] 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 [arg1] r_0085_0019__Sir_r_0085_0020__John Sir John 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 [arg0] r_0085_0027__Guy Guy r_0085_0005__that_r_0085_0021__would_r_0085_0022__have_r_0085_0023__had_r_0085_0025__in->r_0085_0027__Guy for [clr] r_0085_0007__I I r_0085_0008__had_r_0085_0010__insisted->r_0085_0007__I [arg0] r_0085_0009__absolutely absolutely r_0085_0008__had_r_0085_0010__insisted->r_0085_0009__absolutely [nim] r_0085_0012__sailing sailing r_0085_0008__had_r_0085_0010__insisted->r_0085_0012__sailing on [clr] r_0085_0014__the_r_0085_0015__time the time r_0085_0008__had_r_0085_0010__insisted->r_0085_0014__the_r_0085_0015__time at [nim] r_0085_0017__arranged arranged r_0085_0017__arranged->r_0085_0014__the_r_0085_0015__time [arg1] r_0085_0016__originally originally r_0085_0017__arranged->r_0085_0016__originally [nim] z_000_85_a_lob_n02_45 r_0085_0017__arranged->z_000_85_a_lob_n02_45 [arg0] 
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) ) ).


n85_a_lob_n02 n85_a_lob_n02_3 <lquo> n85_a_lob_n02_6 The n85_a_lob_n02_8 truth n85_a_lob_n02_10 is n85_a_lob_n02_14 that n85_a_lob_n02_17 if n85_a_lob_n02_21 I n85_a_lob_n02_23 had n85_a_lob_n02_27 absolutely n85_a_lob_n02_29 insisted n85_a_lob_n02_32 on n85_a_lob_n02_35 sailing n85_a_lob_n02_38 at n85_a_lob_n02_41 the n85_a_lob_n02_43 time n85_a_lob_n02_46 * n85_a_lob_n02_49 originally n85_a_lob_n02_51 arranged n85_a_lob_n02_53 , n85_a_lob_n02_56 Sir n85_a_lob_n02_58 John n85_a_lob_n02_60 would n85_a_lob_n02_63 have n85_a_lob_n02_66 had n85_a_lob_n02_69 it n85_a_lob_n02_71 in n85_a_lob_n02_74 for n85_a_lob_n02_77 Guy n85_a_lob_n02_79 . n85_a_lob_n02_1 IP-MAT n85_a_lob_n02_2 PULQ n85_a_lob_n02_1->n85_a_lob_n02_2 n85_a_lob_n02_4 NP-SBJ n85_a_lob_n02_1->n85_a_lob_n02_4 n85_a_lob_n02_9 BEP;_equ_Vf_ n85_a_lob_n02_1->n85_a_lob_n02_9 n85_a_lob_n02_11 CP-THT-PRD n85_a_lob_n02_1->n85_a_lob_n02_11 n85_a_lob_n02_78 PUNC n85_a_lob_n02_1->n85_a_lob_n02_78 n85_a_lob_n02_2->n85_a_lob_n02_3 n85_a_lob_n02_5 D n85_a_lob_n02_4->n85_a_lob_n02_5 n85_a_lob_n02_7 N n85_a_lob_n02_4->n85_a_lob_n02_7 n85_a_lob_n02_5->n85_a_lob_n02_6 n85_a_lob_n02_7->n85_a_lob_n02_8 n85_a_lob_n02_9->n85_a_lob_n02_10 n85_a_lob_n02_12 IP-SUB n85_a_lob_n02_11->n85_a_lob_n02_12 n85_a_lob_n02_13 C n85_a_lob_n02_12->n85_a_lob_n02_13 n85_a_lob_n02_15 PP-SCON n85_a_lob_n02_12->n85_a_lob_n02_15 n85_a_lob_n02_52 PUNC n85_a_lob_n02_12->n85_a_lob_n02_52 n85_a_lob_n02_54 NP-SBJ n85_a_lob_n02_12->n85_a_lob_n02_54 n85_a_lob_n02_59 MD;_cat_Vi_ n85_a_lob_n02_12->n85_a_lob_n02_59 n85_a_lob_n02_61 IP-INF-CAT n85_a_lob_n02_12->n85_a_lob_n02_61 n85_a_lob_n02_13->n85_a_lob_n02_14 n85_a_lob_n02_16 P-CONN n85_a_lob_n02_15->n85_a_lob_n02_16 n85_a_lob_n02_18 IP-ADV n85_a_lob_n02_15->n85_a_lob_n02_18 n85_a_lob_n02_16->n85_a_lob_n02_17 n85_a_lob_n02_19 NP-SBJ n85_a_lob_n02_18->n85_a_lob_n02_19 n85_a_lob_n02_22 HVD;_cat_Ve_ n85_a_lob_n02_18->n85_a_lob_n02_22 n85_a_lob_n02_24 IP-PPL-CAT n85_a_lob_n02_18->n85_a_lob_n02_24 n85_a_lob_n02_20 PRO n85_a_lob_n02_19->n85_a_lob_n02_20 n85_a_lob_n02_20->n85_a_lob_n02_21 n85_a_lob_n02_22->n85_a_lob_n02_23 n85_a_lob_n02_25 ADVP-NIM n85_a_lob_n02_24->n85_a_lob_n02_25 n85_a_lob_n02_28 VVN;_Ipr_ n85_a_lob_n02_24->n85_a_lob_n02_28 n85_a_lob_n02_30 PP-CLR n85_a_lob_n02_24->n85_a_lob_n02_30 n85_a_lob_n02_36 PP-NIM n85_a_lob_n02_24->n85_a_lob_n02_36 n85_a_lob_n02_26 ADV n85_a_lob_n02_25->n85_a_lob_n02_26 n85_a_lob_n02_26->n85_a_lob_n02_27 n85_a_lob_n02_28->n85_a_lob_n02_29 n85_a_lob_n02_31 P-ROLE n85_a_lob_n02_30->n85_a_lob_n02_31 n85_a_lob_n02_33 NP n85_a_lob_n02_30->n85_a_lob_n02_33 n85_a_lob_n02_31->n85_a_lob_n02_32 n85_a_lob_n02_34 N n85_a_lob_n02_33->n85_a_lob_n02_34 n85_a_lob_n02_34->n85_a_lob_n02_35 n85_a_lob_n02_37 P-ROLE n85_a_lob_n02_36->n85_a_lob_n02_37 n85_a_lob_n02_39 NP n85_a_lob_n02_36->n85_a_lob_n02_39 n85_a_lob_n02_37->n85_a_lob_n02_38 n85_a_lob_n02_40 D n85_a_lob_n02_39->n85_a_lob_n02_40 n85_a_lob_n02_42 N n85_a_lob_n02_39->n85_a_lob_n02_42 n85_a_lob_n02_44 IP-PPL n85_a_lob_n02_39->n85_a_lob_n02_44 n85_a_lob_n02_40->n85_a_lob_n02_41 n85_a_lob_n02_42->n85_a_lob_n02_43 n85_a_lob_n02_45 NP-LGS n85_a_lob_n02_44->n85_a_lob_n02_45 n85_a_lob_n02_47 ADVP-NIM n85_a_lob_n02_44->n85_a_lob_n02_47 n85_a_lob_n02_50 VVN;_Tn_ n85_a_lob_n02_44->n85_a_lob_n02_50 n85_a_lob_n02_45->n85_a_lob_n02_46 n85_a_lob_n02_48 ADV n85_a_lob_n02_47->n85_a_lob_n02_48 n85_a_lob_n02_48->n85_a_lob_n02_49 n85_a_lob_n02_50->n85_a_lob_n02_51 n85_a_lob_n02_52->n85_a_lob_n02_53 n85_a_lob_n02_55 N n85_a_lob_n02_54->n85_a_lob_n02_55 n85_a_lob_n02_57 NPR n85_a_lob_n02_54->n85_a_lob_n02_57 n85_a_lob_n02_55->n85_a_lob_n02_56 n85_a_lob_n02_57->n85_a_lob_n02_58 n85_a_lob_n02_59->n85_a_lob_n02_60 n85_a_lob_n02_62 HV;_cat_Ve_ n85_a_lob_n02_61->n85_a_lob_n02_62 n85_a_lob_n02_64 IP-PPL-CAT n85_a_lob_n02_61->n85_a_lob_n02_64 n85_a_lob_n02_62->n85_a_lob_n02_63 n85_a_lob_n02_65 HVN;_phr_Vn.p.pr_ n85_a_lob_n02_64->n85_a_lob_n02_65 n85_a_lob_n02_67 NP-OB1 n85_a_lob_n02_64->n85_a_lob_n02_67 n85_a_lob_n02_70 RP n85_a_lob_n02_64->n85_a_lob_n02_70 n85_a_lob_n02_72 PP-CLR n85_a_lob_n02_64->n85_a_lob_n02_72 n85_a_lob_n02_65->n85_a_lob_n02_66 n85_a_lob_n02_68 PRO n85_a_lob_n02_67->n85_a_lob_n02_68 n85_a_lob_n02_68->n85_a_lob_n02_69 n85_a_lob_n02_70->n85_a_lob_n02_71 n85_a_lob_n02_73 P-ROLE n85_a_lob_n02_72->n85_a_lob_n02_73 n85_a_lob_n02_75 NP n85_a_lob_n02_72->n85_a_lob_n02_75 n85_a_lob_n02_73->n85_a_lob_n02_74 n85_a_lob_n02_76 NPR n85_a_lob_n02_75->n85_a_lob_n02_76 n85_a_lob_n02_76->n85_a_lob_n02_77 n85_a_lob_n02_78->n85_a_lob_n02_79 
( (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))