5_a_lob_a02
And he has abandoned plans to visit President de Gaulle this month to smooth the way.
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).
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) ) ).
( (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))