TSPC 5_a_lob

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

arc(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_0007__visit,emb).
arc(r_0005_0007__visit,r_0005_0008__President_r_0005_0009__de_r_0005_0010__Gaulle,arg1).
arc(r_0005_0007__visit,r_0005_0011__this_r_0005_0012__month,nim).
arc(r_0005_0007__visit,z_0005_5005,arg0).
arc(r_0005_0014__smooth,r_0005_0005__plans,inv_arg0).
arc(r_0005_0014__smooth,r_0005_0015__the_r_0005_0016__way,arg1).

fof(formula,axiom,
    ? [R_0005_0002__HE,R_0005_0008__PRESIDENT_R_0005_0009__DE_R_0005_0010__GAULLE,R_0005_0011__THIS_R_0005_0012__MONTH,Z_0005_5005,R_0005_0007__VISIT,R_0005_0015__THE_R_0005_0016__WAY,R_0005_0014__SMOOTH,R_0005_0005__PLANS,R_0005_0003__HAS_R_0005_0004__ABANDONED] :
      ( r_0005_0002__he(R_0005_0002__HE)
      & r_0005_0008__President_r_0005_0009__de_r_0005_0010__Gaulle(R_0005_0008__PRESIDENT_R_0005_0009__DE_R_0005_0010__GAULLE)
      & r_0005_0011__this_r_0005_0012__month(R_0005_0011__THIS_R_0005_0012__MONTH)
      & r_0005_0015__the_r_0005_0016__way(R_0005_0015__THE_R_0005_0016__WAY)
      & z_0005_5005(Z_0005_5005)
      & r_0005_0003__has_r_0005_0004__abandoned(R_0005_0003__HAS_R_0005_0004__ABANDONED)
      & has_arg1(R_0005_0003__HAS_R_0005_0004__ABANDONED,R_0005_0005__PLANS)
      & r_0005_0005__plans(R_0005_0005__PLANS)
      & has_inv_arg0(R_0005_0005__PLANS,R_0005_0014__SMOOTH)
      & r_0005_0014__smooth(R_0005_0014__SMOOTH)
      & has_arg1(R_0005_0014__SMOOTH,R_0005_0015__THE_R_0005_0016__WAY)
      & has_emb(R_0005_0005__PLANS,R_0005_0007__VISIT)
      & r_0005_0007__visit(R_0005_0007__VISIT)
      & has_arg0(R_0005_0007__VISIT,Z_0005_5005)
      & has_nim(R_0005_0007__VISIT,R_0005_0011__THIS_R_0005_0012__MONTH)
      & has_arg1(R_0005_0007__VISIT,R_0005_0008__PRESIDENT_R_0005_0009__DE_R_0005_0010__GAULLE)
      & has_arg0(R_0005_0003__HAS_R_0005_0004__ABANDONED,R_0005_0002__HE) ) ).