arc(r_0006_0006__welcome, r_0006_0001__General_r_0006_0002__de_r_0006_0003__Gaulle_r_0006_0004___apos_s, gen).
arc(r_0006_0006__welcome, r_0006_0005__official, attrib12).
arc(r_0006_0006__welcome, r_0006_0008__week, nim17).
arc(r_0006_0006__welcome, r_0006_0012__moves, r_0006_0009__to).
arc(r_0006_0008__week, r_0006_0007__last, attrib18).
arc(r_0006_0012__moves, r_0006_0010__Britain_r_0006_0011___apos_s, gen).
arc(r_0006_0012__moves, r_0006_0014__the_r_0006_0015__six, r_0006_0013__towards).
arc(r_0006_0016__was, r_0006_0017__taken, scope).
arc(r_0006_0017__taken, r_0006_0006__welcome, arg1).
arc(r_0006_0017__taken, r_0006_0025__but, prd).
arc(r_0006_0017__taken, z_000_6_a_lob_a02_45, arg0).
arc(r_0006_0019__a_r_0006_0021__gesture, r_0006_0020__friendly, attrib57).
arc(r_0006_0019__a_r_0006_0021__gesture, r_0006_0023__Whitehall, r_0006_0022__in).
arc(r_0006_0025__but, r_0006_0019__a_r_0006_0021__gesture, conj1).
arc(r_0006_0025__but, z_000_6_a_lob_a02_73, conj2).
arc(r_0006_0026__no_quant, r_0006_0027__more, scope).
arc(r_0006_0026__no_quant, z_000_6_a_lob_a02_75, restriction).
arc(r_0006_0027__more, r_0006_0029__that, r_0006_0028__than).
arc(r_0006_0027__more, z_000_6_a_lob_a02_75, nim75).
arc(z_000_6_a_lob_a02_73, r_0006_0027__more, attrib74).

fof(formula,axiom,
    ? [R_0006_0001__GENERAL_R_0006_0002__DE_R_0006_0003__GAULLE_R_0006_0004___APOS_S,R_0006_0005__OFFICIAL,R_0006_0007__LAST,R_0006_0008__WEEK,R_0006_0010__BRITAIN_R_0006_0011___APOS_S,R_0006_0014__THE_R_0006_0015__SIX,R_0006_0012__MOVES,R_0006_0006__WELCOME,R_0006_0020__FRIENDLY,R_0006_0023__WHITEHALL,R_0006_0019__A_R_0006_0021__GESTURE,R_0006_0029__THAT,Z_000_6_A_LOB_A02_75,R_0006_0027__MORE,Z_000_6_A_LOB_A02_73,R_0006_0025__BUT,Z_000_6_A_LOB_A02_45,R_0006_0016__WAS_R_0006_0017__TAKEN] :
      ( r_0006_0001__General_r_0006_0002__de_r_0006_0003__Gaulle_r_0006_0004___apos_s(R_0006_0001__GENERAL_R_0006_0002__DE_R_0006_0003__GAULLE_R_0006_0004___APOS_S)
      & r_0006_0005__official(R_0006_0005__OFFICIAL)
      & r_0006_0007__last(R_0006_0007__LAST)
      & r_0006_0010__Britain_r_0006_0011___apos_s(R_0006_0010__BRITAIN_R_0006_0011___APOS_S)
      & r_0006_0014__the_r_0006_0015__six(R_0006_0014__THE_R_0006_0015__SIX)
      & r_0006_0020__friendly(R_0006_0020__FRIENDLY)
      & r_0006_0023__Whitehall(R_0006_0023__WHITEHALL)
      & r_0006_0029__that(R_0006_0029__THAT)
      & z_000_6_a_lob_a02_45(Z_000_6_A_LOB_A02_45)
      & z_000_6_a_lob_a02_75(Z_000_6_A_LOB_A02_75)
      & ( z_000_6_a_lob_a02_75(Z_000_6_A_LOB_A02_75)
       => z_000_6_a_lob_a02_73(Z_000_6_A_LOB_A02_73) )
      & r_0006_0016__was_r_0006_0017__taken(R_0006_0016__WAS_R_0006_0017__TAKEN)
      & has_arg0(R_0006_0016__WAS_R_0006_0017__TAKEN,Z_000_6_A_LOB_A02_45)
      & has_prd(R_0006_0016__WAS_R_0006_0017__TAKEN,R_0006_0025__BUT)
      & r_0006_0025__but(R_0006_0025__BUT)
      & has_conj2(R_0006_0025__BUT,Z_000_6_A_LOB_A02_73)
      & z_000_6_a_lob_a02_73(Z_000_6_A_LOB_A02_73)
      & has_attrib74(Z_000_6_A_LOB_A02_73,R_0006_0027__MORE)
      & r_0006_0027__more(R_0006_0027__MORE)
      & has_nim75(R_0006_0027__MORE,Z_000_6_A_LOB_A02_75)
      & has_r_0006_0028__than(R_0006_0027__MORE,R_0006_0029__THAT)
      & has_conj1(R_0006_0025__BUT,R_0006_0019__A_R_0006_0021__GESTURE)
      & r_0006_0019__a_r_0006_0021__gesture(R_0006_0019__A_R_0006_0021__GESTURE)
      & has_r_0006_0022__in(R_0006_0019__A_R_0006_0021__GESTURE,R_0006_0023__WHITEHALL)
      & has_attrib57(R_0006_0019__A_R_0006_0021__GESTURE,R_0006_0020__FRIENDLY)
      & has_arg1(R_0006_0016__WAS_R_0006_0017__TAKEN,R_0006_0006__WELCOME)
      & r_0006_0006__welcome(R_0006_0006__WELCOME)
      & has_r_0006_0009__to(R_0006_0006__WELCOME,R_0006_0012__MOVES)
      & r_0006_0012__moves(R_0006_0012__MOVES)
      & has_r_0006_0013__towards(R_0006_0012__MOVES,R_0006_0014__THE_R_0006_0015__SIX)
      & has_gen(R_0006_0012__MOVES,R_0006_0010__BRITAIN_R_0006_0011___APOS_S)
      & has_nim17(R_0006_0006__WELCOME,R_0006_0008__WEEK)
      & r_0006_0008__week(R_0006_0008__WEEK)
      & has_attrib18(R_0006_0008__WEEK,R_0006_0007__LAST)
      & has_attrib12(R_0006_0006__WELCOME,R_0006_0005__OFFICIAL)
      & has_gen(R_0006_0006__WELCOME,R_0006_0001__GENERAL_R_0006_0002__DE_R_0006_0003__GAULLE_R_0006_0004___APOS_S) ) ).

( (IP-MAT (NP-SBJ (NP-GEN (N General;{general})
                          (NPR de;{de})
                          (NPR Gaulle;{Gaulle})
                          (GENM <apos>s))
                  (ADJP (ADJ official;{official}))
                  (N welcome;{welcome})
                  (NP-NIM (ADJP (ADJ last;{last}))
                          (N week;{week}))
                  (PP (P-ROLE to;{to})
                      (NP (NP-GEN (NPR Britain;{Britain})
                                  (GENM <apos>s))
                          (NS moves;{move})
                          (PP (P-ROLE towards;{towards})
                              (NP (D the;{the})
                                  (NUM six;{six}))))))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Cn.n/a_ taken;{take[as]})
                      (PP-PRD (P-ROLE as;{as})
                              (NP (NLYR (NLYR (D a;{a})
                                              (ADJP (ADJ friendly;{friendly}))
                                              (N gesture;{gesture})
                                              (PP (P-ROLE in;{in})
                                                  (NP (NPR Whitehall;{Whitehall}))))
                                        (PUNC ,)
                                        (CONJP (CONJ but;{but})
                                               (NLYR (ADJP (NP (Q;_nphd_ no;{no}))
                                                           (ADJR more;{more})
                                                           (PP (P-ROLE than;{than})
                                                               (NP (D;_nphd_ that;{that}))))))))))
          (PUNC .))
  (ID 6_a_lob_a02))