TSPC 120_a_lob

120_a_lob_a01
When Mr Brown sat down labour MPs cheered for a full minute — and even his bitterest opponents on defence joined in.

arc(r_0120_0001__When, r_0120_0004__sat_r_0120_0005__down, restriction).
arc(r_0120_0001__When, r_0120_0008__cheered, scope).
arc(r_0120_0004__sat_r_0120_0005__down, r_0120_0002__Mr_r_0120_0003__Brown, arg0).
arc(r_0120_0008__cheered, r_0120_0006__labour_r_0120_0007__MPs, arg0).
arc(r_0120_0008__cheered, r_0120_0010__a_r_0120_0012__minute, r_0120_0009__for_nim27).
arc(r_0120_0010__a_r_0120_0012__minute, r_0120_0011__full, attrib30).
arc(r_0120_0014__and, r_0120_0001__When, conj1).
arc(r_0120_0014__and, r_0120_0021__joined_r_0120_0022__in, conj2).
arc(r_0120_0018__opponents, r_0120_0002__Mr_r_0120_0003__Brown, gen).
arc(r_0120_0018__opponents, r_0120_0017__bitterest, attrib48).
arc(r_0120_0018__opponents, r_0120_0020__defence, r_0120_0019__on).
arc(r_0120_0021__joined_r_0120_0022__in, r_0120_0015__even, nim41).
arc(r_0120_0021__joined_r_0120_0022__in, r_0120_0018__opponents, arg0).

fof(formula,axiom,
    ? [R_120_14_AND,R_120_21_JOINED_IN,R_120_18_OPPONENTS,R_120_17_BITTEREST,R_120_2_MR_BROWN,R_120_20_DEFENCE,R_120_15_EVEN] :
      ( bitterest(R_120_17_BITTEREST)
      & mr_Brown(R_120_2_MR_BROWN)
      & defence(R_120_20_DEFENCE)
      & even(R_120_15_EVEN)
      & ! [R_120_4_SAT_DOWN] :
          ( sat_down(R_120_4_SAT_DOWN,R_120_2_MR_BROWN)
         => ? [R_120_8_CHEERED,R_120_6_LABOUR_MPS,R_120_10_A_MINUTE,R_120_11_FULL] :
              ( labour_MPs(R_120_6_LABOUR_MPS)
              & full(R_120_11_FULL)
              & cheered(R_120_8_CHEERED,R_120_6_LABOUR_MPS)
              & for_nim27(R_120_8_CHEERED,R_120_10_A_MINUTE)
              & a_minute(R_120_10_A_MINUTE)
              & attrib30(R_120_10_A_MINUTE,R_120_11_FULL) ) )
      & conj1(CONJ1)
      & and(R_120_14_AND)
      & conj2(R_120_14_AND,R_120_21_JOINED_IN)
      & joined_in(R_120_21_JOINED_IN,R_120_18_OPPONENTS)
      & opponents(R_120_18_OPPONENTS)
      & attrib48(R_120_18_OPPONENTS,R_120_17_BITTEREST)
      & gen(R_120_18_OPPONENTS,R_120_2_MR_BROWN)
      & on(R_120_18_OPPONENTS,R_120_20_DEFENCE)
      & nim41(R_120_21_JOINED_IN,R_120_15_EVEN) ) ).

( (IP-MAT (ILYR (ILYR (PP-SCON (P-CONN When;{when})
                               (IP-ADV (NP-SBJ;{BROWN} (N Mr;{mr})
                                                       (NPR Brown;{Brown}))
                                       (VBD;__ sat;{sit})
                                       (RP down;{down})))
                      (NP-SBJ (N labour;{labour})
                              (NS MPs;{mp}))
                      (VBD;__ cheered;{cheer})
                      (PP-NIM (P-ROLE for;{for})
                              (NP (D a;{a})
                                  (ADJP (ADJ full;{full}))
                                  (N minute;{minute}))))
                (PUNC <mdash>)
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV even;{even}))
                             (NP-SBJ (NP-GEN;{BROWN} (PRO;_genm_ his;{his}))
                                     (ADJP (ADJS bitterest;{bitter}))
                                     (NS opponents;{opponent})
                                     (PP (P-ROLE on;{on})
                                         (NP (N defence;{defence}))))
                             (VBD;__ joined;{join})
                             (RP in;{in}))))
          (PUNC .))
  (ID 120_a_lob_a01))