Context                Previous, Next                Top


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.

%3 r_0120_0001__When When r_0120_0004__sat_r_0120_0005__down sat down r_0120_0001__When->r_0120_0004__sat_r_0120_0005__down [restriction] r_0120_0008__cheered cheered r_0120_0001__When->r_0120_0008__cheered [scope] r_0120_0002__Mr_r_0120_0003__Brown Mr Brown r_0120_0004__sat_r_0120_0005__down->r_0120_0002__Mr_r_0120_0003__Brown [arg0] r_0120_0006__labour_r_0120_0007__MPs labour MPs r_0120_0008__cheered->r_0120_0006__labour_r_0120_0007__MPs [arg0] r_0120_0010__a_r_0120_0012__minute a minute r_0120_0008__cheered->r_0120_0010__a_r_0120_0012__minute for [nim] r_0120_0011__full full r_0120_0010__a_r_0120_0012__minute->r_0120_0011__full [attrib] r_0120_0014__and and r_0120_0014__and->r_0120_0001__When [conj1] r_0120_0021__joined_r_0120_0022__in joined in r_0120_0014__and->r_0120_0021__joined_r_0120_0022__in [conj2] r_0120_0018__opponents opponents r_0120_0021__joined_r_0120_0022__in->r_0120_0018__opponents [arg0] r_0120_0015__even even r_0120_0021__joined_r_0120_0022__in->r_0120_0015__even [nim] r_0120_0018__opponents->r_0120_0002__Mr_r_0120_0003__Brown [gen] r_0120_0017__bitterest bitterest r_0120_0018__opponents->r_0120_0017__bitterest [attrib] r_0120_0020__defence defence r_0120_0018__opponents->r_0120_0020__defence on 
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).


%3 r_0120_0001__When When r_0120_0004__sat_r_0120_0005__down sat down r_0120_0001__When->r_0120_0004__sat_r_0120_0005__down [restriction] r_0120_0008__cheered cheered r_0120_0001__When->r_0120_0008__cheered [scope] r_0120_0002__Mr_r_0120_0003__Brown Mr Brown r_0120_0004__sat_r_0120_0005__down->r_0120_0002__Mr_r_0120_0003__Brown [arg0] r_0120_0006__labour_r_0120_0007__MPs labour MPs r_0120_0008__cheered->r_0120_0006__labour_r_0120_0007__MPs [arg0] r_0120_0010__a_r_0120_0012__minute a minute r_0120_0008__cheered->r_0120_0010__a_r_0120_0012__minute for [nim] r_0120_0011__full full r_0120_0010__a_r_0120_0012__minute->r_0120_0011__full [attrib] r_0120_0014__and and r_0120_0014__and->r_0120_0001__When [conj1] r_0120_0021__joined_r_0120_0022__in joined in r_0120_0014__and->r_0120_0021__joined_r_0120_0022__in [conj2] r_0120_0018__opponents opponents r_0120_0021__joined_r_0120_0022__in->r_0120_0018__opponents [arg0] r_0120_0015__even even r_0120_0021__joined_r_0120_0022__in->r_0120_0015__even [nim] r_0120_0018__opponents->r_0120_0002__Mr_r_0120_0003__Brown [gen] r_0120_0017__bitterest bitterest r_0120_0018__opponents->r_0120_0017__bitterest [attrib] r_0120_0020__defence defence r_0120_0018__opponents->r_0120_0020__defence on 
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) ) ).


n120_a_lob_a01 n120_a_lob_a01_6 When n120_a_lob_a01_10 Mr n120_a_lob_a01_12 Brown n120_a_lob_a01_14 sat n120_a_lob_a01_16 down n120_a_lob_a01_19 labour n120_a_lob_a01_21 MPs n120_a_lob_a01_23 cheered n120_a_lob_a01_26 for n120_a_lob_a01_29 a n120_a_lob_a01_32 full n120_a_lob_a01_34 minute n120_a_lob_a01_36 <mdash> n120_a_lob_a01_39 and n120_a_lob_a01_43 even n120_a_lob_a01_47 his n120_a_lob_a01_50 bitterest n120_a_lob_a01_52 opponents n120_a_lob_a01_55 on n120_a_lob_a01_58 defence n120_a_lob_a01_60 joined n120_a_lob_a01_62 in n120_a_lob_a01_64 . n120_a_lob_a01_1 IP-MAT n120_a_lob_a01_2 ILYR n120_a_lob_a01_1->n120_a_lob_a01_2 n120_a_lob_a01_63 PUNC n120_a_lob_a01_1->n120_a_lob_a01_63 n120_a_lob_a01_3 ILYR n120_a_lob_a01_2->n120_a_lob_a01_3 n120_a_lob_a01_35 PUNC n120_a_lob_a01_2->n120_a_lob_a01_35 n120_a_lob_a01_37 CONJP n120_a_lob_a01_2->n120_a_lob_a01_37 n120_a_lob_a01_4 PP-SCON n120_a_lob_a01_3->n120_a_lob_a01_4 n120_a_lob_a01_17 NP-SBJ n120_a_lob_a01_3->n120_a_lob_a01_17 n120_a_lob_a01_22 VBD;__ n120_a_lob_a01_3->n120_a_lob_a01_22 n120_a_lob_a01_24 PP-NIM n120_a_lob_a01_3->n120_a_lob_a01_24 n120_a_lob_a01_5 P-CONN n120_a_lob_a01_4->n120_a_lob_a01_5 n120_a_lob_a01_7 IP-ADV n120_a_lob_a01_4->n120_a_lob_a01_7 n120_a_lob_a01_5->n120_a_lob_a01_6 n120_a_lob_a01_8 NP-SBJ n120_a_lob_a01_7->n120_a_lob_a01_8 n120_a_lob_a01_13 VBD;__ n120_a_lob_a01_7->n120_a_lob_a01_13 n120_a_lob_a01_15 RP n120_a_lob_a01_7->n120_a_lob_a01_15 n120_a_lob_a01_9 N n120_a_lob_a01_8->n120_a_lob_a01_9 n120_a_lob_a01_11 NPR n120_a_lob_a01_8->n120_a_lob_a01_11 n120_a_lob_a01_9->n120_a_lob_a01_10 n120_a_lob_a01_11->n120_a_lob_a01_12 n120_a_lob_a01_13->n120_a_lob_a01_14 n120_a_lob_a01_15->n120_a_lob_a01_16 n120_a_lob_a01_18 N n120_a_lob_a01_17->n120_a_lob_a01_18 n120_a_lob_a01_20 NS n120_a_lob_a01_17->n120_a_lob_a01_20 n120_a_lob_a01_18->n120_a_lob_a01_19 n120_a_lob_a01_20->n120_a_lob_a01_21 n120_a_lob_a01_22->n120_a_lob_a01_23 n120_a_lob_a01_25 P-ROLE n120_a_lob_a01_24->n120_a_lob_a01_25 n120_a_lob_a01_27 NP n120_a_lob_a01_24->n120_a_lob_a01_27 n120_a_lob_a01_25->n120_a_lob_a01_26 n120_a_lob_a01_28 D n120_a_lob_a01_27->n120_a_lob_a01_28 n120_a_lob_a01_30 ADJP n120_a_lob_a01_27->n120_a_lob_a01_30 n120_a_lob_a01_33 N n120_a_lob_a01_27->n120_a_lob_a01_33 n120_a_lob_a01_28->n120_a_lob_a01_29 n120_a_lob_a01_31 ADJ n120_a_lob_a01_30->n120_a_lob_a01_31 n120_a_lob_a01_31->n120_a_lob_a01_32 n120_a_lob_a01_33->n120_a_lob_a01_34 n120_a_lob_a01_35->n120_a_lob_a01_36 n120_a_lob_a01_38 CONJ n120_a_lob_a01_37->n120_a_lob_a01_38 n120_a_lob_a01_40 ILYR n120_a_lob_a01_37->n120_a_lob_a01_40 n120_a_lob_a01_38->n120_a_lob_a01_39 n120_a_lob_a01_41 ADVP-NIM n120_a_lob_a01_40->n120_a_lob_a01_41 n120_a_lob_a01_44 NP-SBJ n120_a_lob_a01_40->n120_a_lob_a01_44 n120_a_lob_a01_59 VBD;__ n120_a_lob_a01_40->n120_a_lob_a01_59 n120_a_lob_a01_61 RP n120_a_lob_a01_40->n120_a_lob_a01_61 n120_a_lob_a01_42 ADV n120_a_lob_a01_41->n120_a_lob_a01_42 n120_a_lob_a01_42->n120_a_lob_a01_43 n120_a_lob_a01_45 NP-GEN n120_a_lob_a01_44->n120_a_lob_a01_45 n120_a_lob_a01_48 ADJP n120_a_lob_a01_44->n120_a_lob_a01_48 n120_a_lob_a01_51 NS n120_a_lob_a01_44->n120_a_lob_a01_51 n120_a_lob_a01_53 PP n120_a_lob_a01_44->n120_a_lob_a01_53 n120_a_lob_a01_46 PRO;_genm_ n120_a_lob_a01_45->n120_a_lob_a01_46 n120_a_lob_a01_46->n120_a_lob_a01_47 n120_a_lob_a01_49 ADJS n120_a_lob_a01_48->n120_a_lob_a01_49 n120_a_lob_a01_49->n120_a_lob_a01_50 n120_a_lob_a01_51->n120_a_lob_a01_52 n120_a_lob_a01_54 P-ROLE n120_a_lob_a01_53->n120_a_lob_a01_54 n120_a_lob_a01_56 NP n120_a_lob_a01_53->n120_a_lob_a01_56 n120_a_lob_a01_54->n120_a_lob_a01_55 n120_a_lob_a01_57 N n120_a_lob_a01_56->n120_a_lob_a01_57 n120_a_lob_a01_57->n120_a_lob_a01_58 n120_a_lob_a01_59->n120_a_lob_a01_60 n120_a_lob_a01_61->n120_a_lob_a01_62 n120_a_lob_a01_63->n120_a_lob_a01_64 
( (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))