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_0120_0015__EVEN,R_0120_0002__MR_R_0120_0003__BROWN,R_0120_0017__BITTEREST,R_0120_0020__DEFENCE,R_0120_0018__OPPONENTS,R_0120_0021__JOINED_R_0120_0022__IN,R_0120_0014__AND] :
      ( r_0120_0002__Mr_r_0120_0003__Brown(R_0120_0002__MR_R_0120_0003__BROWN)
      & r_0120_0015__even(R_0120_0015__EVEN)
      & r_0120_0017__bitterest(R_0120_0017__BITTEREST)
      & r_0120_0020__defence(R_0120_0020__DEFENCE)
      & r_0120_0014__and(R_0120_0014__AND)
      & has_conj2(R_0120_0014__AND,R_0120_0021__JOINED_R_0120_0022__IN)
      & r_0120_0021__joined_r_0120_0022__in(R_0120_0021__JOINED_R_0120_0022__IN)
      & has_arg0(R_0120_0021__JOINED_R_0120_0022__IN,R_0120_0018__OPPONENTS)
      & r_0120_0018__opponents(R_0120_0018__OPPONENTS)
      & has_r_0120_0019__on(R_0120_0018__OPPONENTS,R_0120_0020__DEFENCE)
      & has_attrib48(R_0120_0018__OPPONENTS,R_0120_0017__BITTEREST)
      & has_gen(R_0120_0018__OPPONENTS,R_0120_0002__MR_R_0120_0003__BROWN)
      & has_nim41(R_0120_0021__JOINED_R_0120_0022__IN,R_0120_0015__EVEN)
      & ! [R_0120_0004__SAT_R_0120_0005__DOWN] :
          ( ( r_0120_0004__sat_r_0120_0005__down(R_0120_0004__SAT_R_0120_0005__DOWN)
            & has_arg0(R_0120_0004__SAT_R_0120_0005__DOWN,R_0120_0002__MR_R_0120_0003__BROWN) )
         => ? [R_0120_0006__LABOUR_R_0120_0007__MPS,R_0120_0011__FULL,R_0120_0010__A_R_0120_0012__MINUTE,R_0120_0008__CHEERED] :
              ( r_0120_0006__labour_r_0120_0007__MPs(R_0120_0006__LABOUR_R_0120_0007__MPS)
              & r_0120_0011__full(R_0120_0011__FULL)
              & r_0120_0008__cheered(R_0120_0008__CHEERED)
              & has_r_0120_0009__for_nim27(R_0120_0008__CHEERED,R_0120_0010__A_R_0120_0012__MINUTE)
              & r_0120_0010__a_r_0120_0012__minute(R_0120_0010__A_R_0120_0012__MINUTE)
              & has_attrib30(R_0120_0010__A_R_0120_0012__MINUTE,R_0120_0011__FULL)
              & has_arg0(R_0120_0008__CHEERED,R_0120_0006__LABOUR_R_0120_0007__MPS) ) ) ) ).

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