TSPC 5_a_lob

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_0005_0002__HE,R_0005_0008__PRESIDENT_R_0005_0009__DE_R_0005_0010__GAULLE,R_0005_0011__THIS_R_0005_0012__MONTH,Z_000_5_A_LOB_A02_15,R_0005_0006__TO_R_0005_0007__VISIT,R_0005_0005__PLANS,R_0005_0001__AND_R_0005_0003__HAS_R_0005_0004__ABANDONED,R_0005_0015__THE_R_0005_0016__WAY,R_0005_0013__TO_R_0005_0014__SMOOTH] :
      ( 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_000_5_a_lob_a02_15(Z_000_5_A_LOB_A02_15)
      & r_0005_0013__to_r_0005_0014__smooth(R_0005_0013__TO_R_0005_0014__SMOOTH)
      & has_arg1(R_0005_0013__TO_R_0005_0014__SMOOTH,R_0005_0015__THE_R_0005_0016__WAY)
      & has_arg0(R_0005_0013__TO_R_0005_0014__SMOOTH,R_0005_0005__PLANS)
      & r_0005_0005__plans(R_0005_0005__PLANS)
      & has_emb15(R_0005_0005__PLANS,R_0005_0006__TO_R_0005_0007__VISIT)
      & r_0005_0006__to_r_0005_0007__visit(R_0005_0006__TO_R_0005_0007__VISIT)
      & has_arg0(R_0005_0006__TO_R_0005_0007__VISIT,Z_000_5_A_LOB_A02_15)
      & has_nim27(R_0005_0006__TO_R_0005_0007__VISIT,R_0005_0011__THIS_R_0005_0012__MONTH)
      & has_arg1(R_0005_0006__TO_R_0005_0007__VISIT,R_0005_0008__PRESIDENT_R_0005_0009__DE_R_0005_0010__GAULLE)
      & r_0005_0001__And_r_0005_0003__has_r_0005_0004__abandoned(R_0005_0001__AND_R_0005_0003__HAS_R_0005_0004__ABANDONED)
      & has_arg1(R_0005_0001__AND_R_0005_0003__HAS_R_0005_0004__ABANDONED,R_0005_0005__PLANS)
      & has_arg0(R_0005_0001__AND_R_0005_0003__HAS_R_0005_0004__ABANDONED,R_0005_0002__HE) ) ).

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