TSPC 6_a_lob

6_a_lob_a02
General de Gaulle's official welcome last week to Britain's moves towards the six was taken as a friendly gesture in Whitehall, but no more than that.

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_6_16_WAS_TAKEN,Z_6_A_LOB_A02_45,R_6_6_WELCOME,R_6_5_OFFICIAL,R_6_1_GENERAL_DE_GAULLE_APOS_S,R_6_8_WEEK,R_6_7_LAST,R_6_12_MOVES,R_6_10_BRITAIN_APOS_S,R_6_14_THE_SIX,R_6_25_BUT,R_6_19_A_GESTURE,R_6_20_FRIENDLY,R_6_23_WHITEHALL,Z_6_A_LOB_A02_73,R_6_27_MORE,Z_6_A_LOB_A02_75,R_6_29_THAT] :
      ( official(R_6_5_OFFICIAL)
      & general_de_Gaulle_apos_s(R_6_1_GENERAL_DE_GAULLE_APOS_S)
      & last(R_6_7_LAST)
      & britain_apos_s(R_6_10_BRITAIN_APOS_S)
      & the_six(R_6_14_THE_SIX)
      & friendly(R_6_20_FRIENDLY)
      & whitehall(R_6_23_WHITEHALL)
      & that(R_6_29_THAT)
      & was_taken(R_6_16_WAS_TAKEN,Z_6_A_LOB_A02_45,R_6_6_WELCOME,R_6_25_BUT)
      & welcome(R_6_6_WELCOME)
      & attrib12(R_6_6_WELCOME,R_6_5_OFFICIAL)
      & gen(R_6_6_WELCOME,R_6_1_GENERAL_DE_GAULLE_APOS_S)
      & nim17(R_6_6_WELCOME,R_6_8_WEEK)
      & week(R_6_8_WEEK)
      & attrib18(R_6_8_WEEK,R_6_7_LAST)
      & to(R_6_6_WELCOME,R_6_12_MOVES)
      & moves(R_6_12_MOVES)
      & gen(R_6_12_MOVES,R_6_10_BRITAIN_APOS_S)
      & towards(R_6_12_MOVES,R_6_14_THE_SIX)
      & but(R_6_25_BUT)
      & conj1(R_6_25_BUT,R_6_19_A_GESTURE)
      & a_gesture(R_6_19_A_GESTURE)
      & attrib57(R_6_19_A_GESTURE,R_6_20_FRIENDLY)
      & in(R_6_19_A_GESTURE,R_6_23_WHITEHALL)
      & conj2(R_6_25_BUT,Z_6_A_LOB_A02_73)
      & z_6_a_lob_a02_73(Z_6_A_LOB_A02_73)
      & attrib74(Z_6_A_LOB_A02_73,R_6_27_MORE)
      & more(R_6_27_MORE)
      & nim75(R_6_27_MORE,Z_6_A_LOB_A02_75)
      & than(R_6_27_MORE,R_6_29_THAT)
      & ( true
       => true ) ) ).

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