TSPC 105_a_lob

105_a_lob_a02
Mr Butler, the home Secretary, has decided to meet head-on the biggest challenge to government authority yet presented by the ‘ban-the-bomb’ demonstrators.

arc(r_0105_0008__has, r_0105_0009__decided, scope).
arc(r_0105_0009__decided, r_0105_0001__Mr_r_0105_0002__Butler, arg0).
arc(r_0105_0009__decided, r_0105_0010__to_r_0105_0011__meet, arg1).
arc(r_0105_0010__to_r_0105_0011__meet, r_0105_0001__Mr_r_0105_0002__Butler, arg0).
arc(r_0105_0010__to_r_0105_0011__meet, r_0105_0012__head__hyphen__on, nim29).
arc(r_0105_0010__to_r_0105_0011__meet, r_0105_0013__the_r_0105_0015__challenge, arg1).
arc(r_0105_0013__the_r_0105_0015__challenge, r_0105_0014__biggest, attrib35).
arc(r_0105_0013__the_r_0105_0015__challenge, r_0105_0017__government_r_0105_0018__authority, r_0105_0016__to).
arc(r_0105_0020__presented, r_0105_0013__the_r_0105_0015__challenge, arg1).
arc(r_0105_0020__presented, r_0105_0019__yet, nim49).
arc(r_0105_0020__presented, r_0105_0022__the_r_0105_0024__ban__hyphen__the__hyphen__bomb_r_0105_0026__demonstrators, arg0).
arc(z_000_105_a_lob_a02_9, r_0105_0001__Mr_r_0105_0002__Butler, arg0).
arc(z_000_105_a_lob_a02_9, r_0105_0004__the_r_0105_0005__home_r_0105_0006__Secretary, prd).

fof(formula,axiom,
    ? [R_0105_0001__MR_R_0105_0002__BUTLER,R_0105_0012__HEAD__HYPHEN__ON,R_0105_0014__BIGGEST,R_0105_0017__GOVERNMENT_R_0105_0018__AUTHORITY,R_0105_0013__THE_R_0105_0015__CHALLENGE,R_0105_0010__TO_R_0105_0011__MEET,R_0105_0008__HAS_R_0105_0009__DECIDED,R_0105_0019__YET,R_0105_0022__THE_R_0105_0024__BAN__HYPHEN__THE__HYPHEN__BOMB_R_0105_0026__DEMONSTRATORS,R_0105_0020__PRESENTED,R_0105_0004__THE_R_0105_0005__HOME_R_0105_0006__SECRETARY,Z_000_105_A_LOB_A02_9] :
      ( r_0105_0001__Mr_r_0105_0002__Butler(R_0105_0001__MR_R_0105_0002__BUTLER)
      & r_0105_0004__the_r_0105_0005__home_r_0105_0006__Secretary(R_0105_0004__THE_R_0105_0005__HOME_R_0105_0006__SECRETARY)
      & r_0105_0012__head__hyphen__on(R_0105_0012__HEAD__HYPHEN__ON)
      & r_0105_0014__biggest(R_0105_0014__BIGGEST)
      & r_0105_0017__government_r_0105_0018__authority(R_0105_0017__GOVERNMENT_R_0105_0018__AUTHORITY)
      & r_0105_0019__yet(R_0105_0019__YET)
      & r_0105_0022__the_r_0105_0024__ban__hyphen__the__hyphen__bomb_r_0105_0026__demonstrators(R_0105_0022__THE_R_0105_0024__BAN__HYPHEN__THE__HYPHEN__BOMB_R_0105_0026__DEMONSTRATORS)
      & z_000_105_a_lob_a02_9(Z_000_105_A_LOB_A02_9)
      & has_prd(Z_000_105_A_LOB_A02_9,R_0105_0004__THE_R_0105_0005__HOME_R_0105_0006__SECRETARY)
      & has_arg0(Z_000_105_A_LOB_A02_9,R_0105_0001__MR_R_0105_0002__BUTLER)
      & r_0105_0020__presented(R_0105_0020__PRESENTED)
      & has_arg0(R_0105_0020__PRESENTED,R_0105_0022__THE_R_0105_0024__BAN__HYPHEN__THE__HYPHEN__BOMB_R_0105_0026__DEMONSTRATORS)
      & has_nim49(R_0105_0020__PRESENTED,R_0105_0019__YET)
      & has_arg1(R_0105_0020__PRESENTED,R_0105_0013__THE_R_0105_0015__CHALLENGE)
      & r_0105_0013__the_r_0105_0015__challenge(R_0105_0013__THE_R_0105_0015__CHALLENGE)
      & has_r_0105_0016__to(R_0105_0013__THE_R_0105_0015__CHALLENGE,R_0105_0017__GOVERNMENT_R_0105_0018__AUTHORITY)
      & has_attrib35(R_0105_0013__THE_R_0105_0015__CHALLENGE,R_0105_0014__BIGGEST)
      & r_0105_0008__has_r_0105_0009__decided(R_0105_0008__HAS_R_0105_0009__DECIDED)
      & has_arg1(R_0105_0008__HAS_R_0105_0009__DECIDED,R_0105_0010__TO_R_0105_0011__MEET)
      & r_0105_0010__to_r_0105_0011__meet(R_0105_0010__TO_R_0105_0011__MEET)
      & has_arg1(R_0105_0010__TO_R_0105_0011__MEET,R_0105_0013__THE_R_0105_0015__CHALLENGE)
      & has_nim29(R_0105_0010__TO_R_0105_0011__MEET,R_0105_0012__HEAD__HYPHEN__ON)
      & has_arg0(R_0105_0010__TO_R_0105_0011__MEET,R_0105_0001__MR_R_0105_0002__BUTLER)
      & has_arg0(R_0105_0008__HAS_R_0105_0009__DECIDED,R_0105_0001__MR_R_0105_0002__BUTLER) ) ).

( (IP-MAT (NP-SBJ (N Mr;{mr})
                  (NPR Butler;{Butler})
                  (PUNC ,)
                  (IP-PPL (NP-PRD (D the;{the})
                                  (N home;{home})
                                  (N Secretary;{secretary}))))
          (PUNC ,)
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;__ decided;{decide})
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;__ meet;{meet})
                                  (NP-NIM (N head_<hyphen>_on;{head_on}))
                                  (NP-OB1 (D the;{the})
                                          (ADJP (ADJS biggest;{big}))
                                          (N challenge;{challenge})
                                          (PP (P-ROLE to;{to})
                                              (NP (N government;{government})
                                                  (N authority;{authority})))
                                          (IP-PPL (ADVP-NIM (ADV yet;{yet}))
                                                  (VVN;__ presented;{present})
                                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                          (NP (D the;{the})
                                                              (PULQ <lquo>)
                                                              (N ban_<hyphen>_the_<hyphen>_bomb;{ban_the_bomb})
                                                              (PURQ <rquo>)
                                                              (NS demonstrators;{demonstrator})))))))
          (PUNC .))
  (ID 105_a_lob_a02))