5_a_lob_a02
And he has abandoned plans to visit President de Gaulle this month to smooth the way.

%3 r_0005_0001__And_r_0005_0003__has And has r_0005_0004__abandoned abandoned r_0005_0001__And_r_0005_0003__has->r_0005_0004__abandoned [scope] r_0005_0002__he he r_0005_0004__abandoned->r_0005_0002__he [arg0] r_0005_0005__plans plans r_0005_0004__abandoned->r_0005_0005__plans [arg1] r_0005_0006__to_r_0005_0007__visit to visit r_0005_0005__plans->r_0005_0006__to_r_0005_0007__visit [emb] r_0005_0008__President_r_0005_0009__de_r_0005_0010__Gaulle President de Gaulle r_0005_0006__to_r_0005_0007__visit->r_0005_0008__President_r_0005_0009__de_r_0005_0010__Gaulle [arg1] r_0005_0011__this_r_0005_0012__month this month r_0005_0006__to_r_0005_0007__visit->r_0005_0011__this_r_0005_0012__month [nim] z_000_5_a_lob_a02_15 r_0005_0006__to_r_0005_0007__visit->z_000_5_a_lob_a02_15 [arg0] r_0005_0013__to_r_0005_0014__smooth to smooth r_0005_0013__to_r_0005_0014__smooth->r_0005_0005__plans [arg0] r_0005_0015__the_r_0005_0016__way the way r_0005_0013__to_r_0005_0014__smooth->r_0005_0015__the_r_0005_0016__way [arg1]
arc(r_0005_0001__And_r_0005_0003__has, r_0005_0004__abandoned, scope).
arc(r_0005_0004__abandoned, r_0005_0002__he, arg0).
arc(r_0005_0004__abandoned, r_0005_0005__plans, arg1).
arc(r_0005_0005__plans, r_0005_0006__to_r_0005_0007__visit, emb15).
arc(r_0005_0006__to_r_0005_0007__visit, r_0005_0008__President_r_0005_0009__de_r_0005_0010__Gaulle, arg1).
arc(r_0005_0006__to_r_0005_0007__visit, r_0005_0011__this_r_0005_0012__month, nim27).
arc(r_0005_0006__to_r_0005_0007__visit, z_000_5_a_lob_a02_15, arg0).
arc(r_0005_0013__to_r_0005_0014__smooth, r_0005_0005__plans, arg0).
arc(r_0005_0013__to_r_0005_0014__smooth, r_0005_0015__the_r_0005_0016__way, arg1).



%3 r_0005_0001__And_r_0005_0003__has_r_0005_0004__abandoned And has abandoned r_0005_0002__he he r_0005_0001__And_r_0005_0003__has_r_0005_0004__abandoned->r_0005_0002__he [arg0] r_0005_0005__plans plans r_0005_0001__And_r_0005_0003__has_r_0005_0004__abandoned->r_0005_0005__plans [arg1] r_0005_0006__to_r_0005_0007__visit to visit r_0005_0005__plans->r_0005_0006__to_r_0005_0007__visit [emb] r_0005_0008__President_r_0005_0009__de_r_0005_0010__Gaulle President de Gaulle r_0005_0006__to_r_0005_0007__visit->r_0005_0008__President_r_0005_0009__de_r_0005_0010__Gaulle [arg1] r_0005_0011__this_r_0005_0012__month this month r_0005_0006__to_r_0005_0007__visit->r_0005_0011__this_r_0005_0012__month [nim] z_000_5_a_lob_a02_15 r_0005_0006__to_r_0005_0007__visit->z_000_5_a_lob_a02_15 [arg0] r_0005_0013__to_r_0005_0014__smooth to smooth r_0005_0013__to_r_0005_0014__smooth->r_0005_0005__plans [arg0] r_0005_0015__the_r_0005_0016__way the way r_0005_0013__to_r_0005_0014__smooth->r_0005_0015__the_r_0005_0016__way [arg1]
fof(formula,axiom,
    ? [R_5_1_AND_HAS_ABANDONED,R_5_2_HE,R_5_13_TO_SMOOTH,R_5_5_PLANS,R_5_6_TO_VISIT,Z_5_A_LOB_A02_15,R_5_8_PRESIDENT_DE_GAULLE,R_5_11_THIS_MONTH,R_5_15_THE_WAY] :
      ( he(R_5_2_HE)
      & president_de_Gaulle(R_5_8_PRESIDENT_DE_GAULLE)
      & this_month(R_5_11_THIS_MONTH)
      & the_way(R_5_15_THE_WAY)
      & and_has_abandoned(R_5_1_AND_HAS_ABANDONED,R_5_2_HE,R_5_5_PLANS)
      & plans(R_5_5_PLANS)
      & emb15(R_5_5_PLANS,R_5_6_TO_VISIT)
      & to_visit(R_5_6_TO_VISIT,Z_5_A_LOB_A02_15,R_5_8_PRESIDENT_DE_GAULLE)
      & nim27(R_5_6_TO_VISIT,R_5_11_THIS_MONTH)
      & to_smooth(R_5_13_TO_SMOOTH,R_5_5_PLANS,R_5_15_THE_WAY) ) ).



n5_a_lob_a02 n5_a_lob_a02_3 And n5_a_lob_a02_6 he n5_a_lob_a02_8 has n5_a_lob_a02_11 abandoned n5_a_lob_a02_14 plans n5_a_lob_a02_17 to n5_a_lob_a02_19 visit n5_a_lob_a02_22 President n5_a_lob_a02_24 de n5_a_lob_a02_26 Gaulle n5_a_lob_a02_29 this n5_a_lob_a02_31 month n5_a_lob_a02_34 *T* n5_a_lob_a02_36 to n5_a_lob_a02_38 smooth n5_a_lob_a02_41 the n5_a_lob_a02_43 way n5_a_lob_a02_45 . n5_a_lob_a02_1 IP-MAT n5_a_lob_a02_2 CONJ;_cl_ n5_a_lob_a02_1->n5_a_lob_a02_2 n5_a_lob_a02_4 NP-SBJ n5_a_lob_a02_1->n5_a_lob_a02_4 n5_a_lob_a02_7 HVP;_cat_Ve_ n5_a_lob_a02_1->n5_a_lob_a02_7 n5_a_lob_a02_9 IP-PPL-CAT n5_a_lob_a02_1->n5_a_lob_a02_9 n5_a_lob_a02_44 PUNC n5_a_lob_a02_1->n5_a_lob_a02_44 n5_a_lob_a02_2->n5_a_lob_a02_3 n5_a_lob_a02_5 PRO n5_a_lob_a02_4->n5_a_lob_a02_5 n5_a_lob_a02_5->n5_a_lob_a02_6 n5_a_lob_a02_7->n5_a_lob_a02_8 n5_a_lob_a02_10 VVN;_Tn_ n5_a_lob_a02_9->n5_a_lob_a02_10 n5_a_lob_a02_12 NP-OB1 n5_a_lob_a02_9->n5_a_lob_a02_12 n5_a_lob_a02_10->n5_a_lob_a02_11 n5_a_lob_a02_13 NS n5_a_lob_a02_12->n5_a_lob_a02_13 n5_a_lob_a02_15 IP-INF n5_a_lob_a02_12->n5_a_lob_a02_15 n5_a_lob_a02_32 IP-INF-REL n5_a_lob_a02_12->n5_a_lob_a02_32 n5_a_lob_a02_13->n5_a_lob_a02_14 n5_a_lob_a02_16 TO n5_a_lob_a02_15->n5_a_lob_a02_16 n5_a_lob_a02_18 VB;_Tn_ n5_a_lob_a02_15->n5_a_lob_a02_18 n5_a_lob_a02_20 NP-OB1 n5_a_lob_a02_15->n5_a_lob_a02_20 n5_a_lob_a02_27 NP-NIM n5_a_lob_a02_15->n5_a_lob_a02_27 n5_a_lob_a02_16->n5_a_lob_a02_17 n5_a_lob_a02_18->n5_a_lob_a02_19 n5_a_lob_a02_21 N n5_a_lob_a02_20->n5_a_lob_a02_21 n5_a_lob_a02_23 NPR n5_a_lob_a02_20->n5_a_lob_a02_23 n5_a_lob_a02_25 NPR n5_a_lob_a02_20->n5_a_lob_a02_25 n5_a_lob_a02_21->n5_a_lob_a02_22 n5_a_lob_a02_23->n5_a_lob_a02_24 n5_a_lob_a02_25->n5_a_lob_a02_26 n5_a_lob_a02_28 D n5_a_lob_a02_27->n5_a_lob_a02_28 n5_a_lob_a02_30 N n5_a_lob_a02_27->n5_a_lob_a02_30 n5_a_lob_a02_28->n5_a_lob_a02_29 n5_a_lob_a02_30->n5_a_lob_a02_31 n5_a_lob_a02_33 NP-SBJ n5_a_lob_a02_32->n5_a_lob_a02_33 n5_a_lob_a02_35 TO n5_a_lob_a02_32->n5_a_lob_a02_35 n5_a_lob_a02_37 VB;_Tn_ n5_a_lob_a02_32->n5_a_lob_a02_37 n5_a_lob_a02_39 NP-OB1 n5_a_lob_a02_32->n5_a_lob_a02_39 n5_a_lob_a02_33->n5_a_lob_a02_34 n5_a_lob_a02_35->n5_a_lob_a02_36 n5_a_lob_a02_37->n5_a_lob_a02_38 n5_a_lob_a02_40 D n5_a_lob_a02_39->n5_a_lob_a02_40 n5_a_lob_a02_42 N n5_a_lob_a02_39->n5_a_lob_a02_42 n5_a_lob_a02_40->n5_a_lob_a02_41 n5_a_lob_a02_42->n5_a_lob_a02_43 n5_a_lob_a02_44->n5_a_lob_a02_45
( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ;{MACMILLAN} (PRO he;{he}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;_Tn_ abandoned;{abandon})
                      (NP-OB1 (NS plans;{plan})
                              (IP-INF (TO to;{to})
                                      (VB;_Tn_ visit;{visit})
                                      (NP-OB1 (N President;{president})
                                              (NPR de;{de})
                                              (NPR Gaulle;{Gaulle}))
                                      (NP-NIM (D this;{this})
                                              (N month;{month})))
                              (IP-INF-REL (NP-SBJ *T*)
                                          (TO to;{to})
                                          (VB;_Tn_ smooth;{smooth})
                                          (NP-OB1 (D the;{the})
                                                  (N way;{way})))))
          (PUNC .))
  (ID 5_a_lob_a02))