TSPC 122_a_lob

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

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

arc(r_0122_0001__When,r_0122_0004__sat_r_0122_0005__down,restriction).
arc(r_0122_0001__When,r_0122_0008__cheered,scope).
arc(r_0122_0004__sat_r_0122_0005__down,r_0122_0002__Mr_r_0122_0003__Brown,arg0).
arc(r_0122_0008__cheered,r_0122_0006__labour_r_0122_0007__MPs,arg0).
arc(r_0122_0008__cheered,r_0122_0010__a_r_0122_0012__minute,r_0122_0009__for__nim).
arc(r_0122_0010__a_r_0122_0012__minute,r_0122_0011__full,attrib).
arc(r_0122_0014__and,r_0122_0001__When,conj1).
arc(r_0122_0014__and,r_0122_0021__joined_r_0122_0022__in,conj2).
arc(r_0122_0018__opponents,r_0122_0002__Mr_r_0122_0003__Brown,gen).
arc(r_0122_0018__opponents,r_0122_0017__bitterest,attrib).
arc(r_0122_0018__opponents,r_0122_0020__defence,r_0122_0019__on).
arc(r_0122_0021__joined_r_0122_0022__in,r_0122_0015__even,nim).
arc(r_0122_0021__joined_r_0122_0022__in,r_0122_0018__opponents,arg0).

fof(formula,axiom,
    ? [R_0122_0015__EVEN,R_0122_0002__MR_R_0122_0003__BROWN,R_0122_0017__BITTEREST,R_0122_0020__DEFENCE,R_0122_0018__OPPONENTS,R_0122_0021__JOINED_R_0122_0022__IN,R_0122_0014__AND] :
      ( r_0122_0002__Mr_r_0122_0003__Brown(R_0122_0002__MR_R_0122_0003__BROWN)
      & r_0122_0015__even(R_0122_0015__EVEN)
      & r_0122_0017__bitterest(R_0122_0017__BITTEREST)
      & r_0122_0020__defence(R_0122_0020__DEFENCE)
      & r_0122_0014__and(R_0122_0014__AND)
      & has_conj2(R_0122_0014__AND,R_0122_0021__JOINED_R_0122_0022__IN)
      & r_0122_0021__joined_r_0122_0022__in(R_0122_0021__JOINED_R_0122_0022__IN)
      & has_arg0(R_0122_0021__JOINED_R_0122_0022__IN,R_0122_0018__OPPONENTS)
      & r_0122_0018__opponents(R_0122_0018__OPPONENTS)
      & has_r_0122_0019__on(R_0122_0018__OPPONENTS,R_0122_0020__DEFENCE)
      & has_attrib(R_0122_0018__OPPONENTS,R_0122_0017__BITTEREST)
      & has_gen(R_0122_0018__OPPONENTS,R_0122_0002__MR_R_0122_0003__BROWN)
      & has_nim(R_0122_0021__JOINED_R_0122_0022__IN,R_0122_0015__EVEN)
      & ! [R_0122_0004__SAT_R_0122_0005__DOWN] :
          ( ( r_0122_0004__sat_r_0122_0005__down(R_0122_0004__SAT_R_0122_0005__DOWN)
            & has_arg0(R_0122_0004__SAT_R_0122_0005__DOWN,R_0122_0002__MR_R_0122_0003__BROWN) )
         => ? [R_0122_0006__LABOUR_R_0122_0007__MPS,R_0122_0011__FULL,R_0122_0010__A_R_0122_0012__MINUTE,R_0122_0008__CHEERED] :
              ( r_0122_0006__labour_r_0122_0007__MPs(R_0122_0006__LABOUR_R_0122_0007__MPS)
              & r_0122_0011__full(R_0122_0011__FULL)
              & r_0122_0008__cheered(R_0122_0008__CHEERED)
              & has_r_0122_0009__for__nim(R_0122_0008__CHEERED,R_0122_0010__A_R_0122_0012__MINUTE)
              & r_0122_0010__a_r_0122_0012__minute(R_0122_0010__A_R_0122_0012__MINUTE)
              & has_attrib(R_0122_0010__A_R_0122_0012__MINUTE,R_0122_0011__FULL)
              & has_arg0(R_0122_0008__CHEERED,R_0122_0006__LABOUR_R_0122_0007__MPS) ) ) ) ).