24_a_lob_n02
But Piers remained aloof, and when Beryl suggested having a second party, the following week, he poured cold water on the project.

%3 r_0024_0001__But_r_0024_0003__remained But remained r_0024_0002__Piers Piers r_0024_0001__But_r_0024_0003__remained->r_0024_0002__Piers [arg0] r_0024_0004__aloof aloof r_0024_0001__But_r_0024_0003__remained->r_0024_0004__aloof [prd] r_0024_0006__and and r_0024_0006__and->r_0024_0001__But_r_0024_0003__remained [conj1] r_0024_0007__when when r_0024_0006__and->r_0024_0007__when [conj2] r_0024_0009__suggested suggested r_0024_0007__when->r_0024_0009__suggested [restriction] r_0024_0020__poured poured r_0024_0007__when->r_0024_0020__poured [scope] r_0024_0008__Beryl Beryl r_0024_0009__suggested->r_0024_0008__Beryl [arg0] r_0024_0010__having having r_0024_0009__suggested->r_0024_0010__having [arg1] r_0024_0020__poured->r_0024_0002__Piers [arg0] r_0024_0022__water water r_0024_0020__poured->r_0024_0022__water [arg1] r_0024_0024__the_r_0024_0025__project the project r_0024_0020__poured->r_0024_0024__the_r_0024_0025__project on [clr] r_0024_0010__having->r_0024_0008__Beryl [arg0] r_0024_0011__a_r_0024_0012__second_r_0024_0013__party a second party r_0024_0010__having->r_0024_0011__a_r_0024_0012__second_r_0024_0013__party [arg1] r_0024_0015__the_r_0024_0017__week the week r_0024_0010__having->r_0024_0015__the_r_0024_0017__week [nim] r_0024_0016__following following r_0024_0015__the_r_0024_0017__week->r_0024_0016__following [attrib] r_0024_0021__cold cold r_0024_0022__water->r_0024_0021__cold [attrib]
arc(r_0024_0001__But_r_0024_0003__remained, r_0024_0002__Piers, arg0).
arc(r_0024_0001__But_r_0024_0003__remained, r_0024_0004__aloof, prd).
arc(r_0024_0006__and, r_0024_0001__But_r_0024_0003__remained, conj1).
arc(r_0024_0006__and, r_0024_0007__when, conj2).
arc(r_0024_0007__when, r_0024_0009__suggested, restriction).
arc(r_0024_0007__when, r_0024_0020__poured, scope).
arc(r_0024_0009__suggested, r_0024_0008__Beryl, arg0).
arc(r_0024_0009__suggested, r_0024_0010__having, arg1).
arc(r_0024_0010__having, r_0024_0008__Beryl, arg0).
arc(r_0024_0010__having, r_0024_0011__a_r_0024_0012__second_r_0024_0013__party, arg1).
arc(r_0024_0010__having, r_0024_0015__the_r_0024_0017__week, nim41).
arc(r_0024_0015__the_r_0024_0017__week, r_0024_0016__following, attrib44).
arc(r_0024_0020__poured, r_0024_0002__Piers, arg0).
arc(r_0024_0020__poured, r_0024_0022__water, arg1).
arc(r_0024_0020__poured, r_0024_0024__the_r_0024_0025__project, r_0024_0023__on_clr65).
arc(r_0024_0022__water, r_0024_0021__cold, attrib57).



%3 r_0024_0001__But_r_0024_0003__remained But remained r_0024_0002__Piers Piers r_0024_0001__But_r_0024_0003__remained->r_0024_0002__Piers [arg0] r_0024_0004__aloof aloof r_0024_0001__But_r_0024_0003__remained->r_0024_0004__aloof [prd] r_0024_0006__and and r_0024_0006__and->r_0024_0001__But_r_0024_0003__remained [conj1] r_0024_0007__when when r_0024_0006__and->r_0024_0007__when [conj2] r_0024_0009__suggested suggested r_0024_0007__when->r_0024_0009__suggested [restriction] r_0024_0020__poured poured r_0024_0007__when->r_0024_0020__poured [scope] r_0024_0008__Beryl Beryl r_0024_0009__suggested->r_0024_0008__Beryl [arg0] r_0024_0010__having having r_0024_0009__suggested->r_0024_0010__having [arg1] r_0024_0020__poured->r_0024_0002__Piers [arg0] r_0024_0022__water water r_0024_0020__poured->r_0024_0022__water [arg1] r_0024_0024__the_r_0024_0025__project the project r_0024_0020__poured->r_0024_0024__the_r_0024_0025__project on [clr] r_0024_0010__having->r_0024_0008__Beryl [arg0] r_0024_0011__a_r_0024_0012__second_r_0024_0013__party a second party r_0024_0010__having->r_0024_0011__a_r_0024_0012__second_r_0024_0013__party [arg1] r_0024_0015__the_r_0024_0017__week the week r_0024_0010__having->r_0024_0015__the_r_0024_0017__week [nim] r_0024_0016__following following r_0024_0015__the_r_0024_0017__week->r_0024_0016__following [attrib] r_0024_0021__cold cold r_0024_0022__water->r_0024_0021__cold [attrib]
fof(formula,axiom,
    ? [R_24_6_AND,R_24_1_BUT_REMAINED,R_24_2_PIERS,R_24_4_ALOOF] :
      ( piers(R_24_2_PIERS)
      & aloof(R_24_4_ALOOF)
      & ! [R_24_9_SUGGESTED,R_24_10_HAVING,R_24_8_BERYL,R_24_11_A_SECOND_PARTY,R_24_15_THE_WEEK,R_24_16_FOLLOWING] :
          ( ( beryl(R_24_8_BERYL)
            & a_second_party(R_24_11_A_SECOND_PARTY)
            & following(R_24_16_FOLLOWING)
            & suggested(R_24_9_SUGGESTED,R_24_8_BERYL,R_24_10_HAVING)
            & having(R_24_10_HAVING,R_24_8_BERYL,R_24_11_A_SECOND_PARTY)
            & nim41(R_24_10_HAVING,R_24_15_THE_WEEK)
            & the_week(R_24_15_THE_WEEK)
            & attrib44(R_24_15_THE_WEEK,R_24_16_FOLLOWING) )
         => ? [R_24_20_POURED,R_24_22_WATER,R_24_21_COLD,R_24_24_THE_PROJECT] :
              ( cold(R_24_21_COLD)
              & the_project(R_24_24_THE_PROJECT)
              & poured(R_24_20_POURED,R_24_2_PIERS,R_24_22_WATER)
              & water(R_24_22_WATER)
              & attrib57(R_24_22_WATER,R_24_21_COLD)
              & on_clr65(R_24_20_POURED,R_24_24_THE_PROJECT) ) )
      & conj2(CONJ2)
      & and(R_24_6_AND)
      & conj1(R_24_6_AND,R_24_1_BUT_REMAINED)
      & but_remained(R_24_1_BUT_REMAINED,R_24_2_PIERS,R_24_4_ALOOF) ) ).



n24_a_lob_n02 n24_a_lob_n02_5 But n24_a_lob_n02_8 Piers n24_a_lob_n02_10 remained n24_a_lob_n02_13 aloof n24_a_lob_n02_15 , n24_a_lob_n02_18 and n24_a_lob_n02_22 when n24_a_lob_n02_26 Beryl n24_a_lob_n02_28 suggested n24_a_lob_n02_31 having n24_a_lob_n02_34 a n24_a_lob_n02_36 second n24_a_lob_n02_38 party n24_a_lob_n02_40 , n24_a_lob_n02_43 the n24_a_lob_n02_46 following n24_a_lob_n02_48 week n24_a_lob_n02_50 , n24_a_lob_n02_53 he n24_a_lob_n02_55 poured n24_a_lob_n02_59 cold n24_a_lob_n02_61 water n24_a_lob_n02_64 on n24_a_lob_n02_67 the n24_a_lob_n02_69 project n24_a_lob_n02_71 . n24_a_lob_n02_1 IP-MAT n24_a_lob_n02_2 ILYR n24_a_lob_n02_1->n24_a_lob_n02_2 n24_a_lob_n02_70 PUNC n24_a_lob_n02_1->n24_a_lob_n02_70 n24_a_lob_n02_3 ILYR n24_a_lob_n02_2->n24_a_lob_n02_3 n24_a_lob_n02_14 PUNC n24_a_lob_n02_2->n24_a_lob_n02_14 n24_a_lob_n02_16 CONJP n24_a_lob_n02_2->n24_a_lob_n02_16 n24_a_lob_n02_4 CONJ;_cl_ n24_a_lob_n02_3->n24_a_lob_n02_4 n24_a_lob_n02_6 NP-SBJ n24_a_lob_n02_3->n24_a_lob_n02_6 n24_a_lob_n02_9 VBD;_I_ n24_a_lob_n02_3->n24_a_lob_n02_9 n24_a_lob_n02_11 ADJP-PRD n24_a_lob_n02_3->n24_a_lob_n02_11 n24_a_lob_n02_4->n24_a_lob_n02_5 n24_a_lob_n02_7 NPR n24_a_lob_n02_6->n24_a_lob_n02_7 n24_a_lob_n02_7->n24_a_lob_n02_8 n24_a_lob_n02_9->n24_a_lob_n02_10 n24_a_lob_n02_12 ADJ n24_a_lob_n02_11->n24_a_lob_n02_12 n24_a_lob_n02_12->n24_a_lob_n02_13 n24_a_lob_n02_14->n24_a_lob_n02_15 n24_a_lob_n02_17 CONJ n24_a_lob_n02_16->n24_a_lob_n02_17 n24_a_lob_n02_19 ILYR n24_a_lob_n02_16->n24_a_lob_n02_19 n24_a_lob_n02_17->n24_a_lob_n02_18 n24_a_lob_n02_20 PP-SCON n24_a_lob_n02_19->n24_a_lob_n02_20 n24_a_lob_n02_49 PUNC n24_a_lob_n02_19->n24_a_lob_n02_49 n24_a_lob_n02_51 NP-SBJ n24_a_lob_n02_19->n24_a_lob_n02_51 n24_a_lob_n02_54 VBD;_Tn.pr_ n24_a_lob_n02_19->n24_a_lob_n02_54 n24_a_lob_n02_56 NP-OB1 n24_a_lob_n02_19->n24_a_lob_n02_56 n24_a_lob_n02_62 PP-CLR n24_a_lob_n02_19->n24_a_lob_n02_62 n24_a_lob_n02_21 P-CONN n24_a_lob_n02_20->n24_a_lob_n02_21 n24_a_lob_n02_23 IP-ADV n24_a_lob_n02_20->n24_a_lob_n02_23 n24_a_lob_n02_21->n24_a_lob_n02_22 n24_a_lob_n02_24 NP-SBJ n24_a_lob_n02_23->n24_a_lob_n02_24 n24_a_lob_n02_27 VBD;_Tg_ n24_a_lob_n02_23->n24_a_lob_n02_27 n24_a_lob_n02_29 IP-PPL-OB1 n24_a_lob_n02_23->n24_a_lob_n02_29 n24_a_lob_n02_25 NPR n24_a_lob_n02_24->n24_a_lob_n02_25 n24_a_lob_n02_25->n24_a_lob_n02_26 n24_a_lob_n02_27->n24_a_lob_n02_28 n24_a_lob_n02_30 HAG;_Tn_ n24_a_lob_n02_29->n24_a_lob_n02_30 n24_a_lob_n02_32 NP-OB1 n24_a_lob_n02_29->n24_a_lob_n02_32 n24_a_lob_n02_39 PUNC n24_a_lob_n02_29->n24_a_lob_n02_39 n24_a_lob_n02_41 NP-NIM n24_a_lob_n02_29->n24_a_lob_n02_41 n24_a_lob_n02_30->n24_a_lob_n02_31 n24_a_lob_n02_33 D n24_a_lob_n02_32->n24_a_lob_n02_33 n24_a_lob_n02_35 NUM n24_a_lob_n02_32->n24_a_lob_n02_35 n24_a_lob_n02_37 N n24_a_lob_n02_32->n24_a_lob_n02_37 n24_a_lob_n02_33->n24_a_lob_n02_34 n24_a_lob_n02_35->n24_a_lob_n02_36 n24_a_lob_n02_37->n24_a_lob_n02_38 n24_a_lob_n02_39->n24_a_lob_n02_40 n24_a_lob_n02_42 D n24_a_lob_n02_41->n24_a_lob_n02_42 n24_a_lob_n02_44 ADJP n24_a_lob_n02_41->n24_a_lob_n02_44 n24_a_lob_n02_47 N n24_a_lob_n02_41->n24_a_lob_n02_47 n24_a_lob_n02_42->n24_a_lob_n02_43 n24_a_lob_n02_45 ADJ n24_a_lob_n02_44->n24_a_lob_n02_45 n24_a_lob_n02_45->n24_a_lob_n02_46 n24_a_lob_n02_47->n24_a_lob_n02_48 n24_a_lob_n02_49->n24_a_lob_n02_50 n24_a_lob_n02_52 PRO n24_a_lob_n02_51->n24_a_lob_n02_52 n24_a_lob_n02_52->n24_a_lob_n02_53 n24_a_lob_n02_54->n24_a_lob_n02_55 n24_a_lob_n02_57 ADJP n24_a_lob_n02_56->n24_a_lob_n02_57 n24_a_lob_n02_60 N n24_a_lob_n02_56->n24_a_lob_n02_60 n24_a_lob_n02_58 ADJ n24_a_lob_n02_57->n24_a_lob_n02_58 n24_a_lob_n02_58->n24_a_lob_n02_59 n24_a_lob_n02_60->n24_a_lob_n02_61 n24_a_lob_n02_63 P-ROLE n24_a_lob_n02_62->n24_a_lob_n02_63 n24_a_lob_n02_65 NP n24_a_lob_n02_62->n24_a_lob_n02_65 n24_a_lob_n02_63->n24_a_lob_n02_64 n24_a_lob_n02_66 D n24_a_lob_n02_65->n24_a_lob_n02_66 n24_a_lob_n02_68 N n24_a_lob_n02_65->n24_a_lob_n02_68 n24_a_lob_n02_66->n24_a_lob_n02_67 n24_a_lob_n02_68->n24_a_lob_n02_69 n24_a_lob_n02_70->n24_a_lob_n02_71
( (IP-MAT (ILYR (ILYR (CONJ;_cl_ But;{but})
                      (NP-SBJ;{PIERS} (NPR Piers;{Piers}))
                      (VBD;_I_ remained;{remain})
                      (ADJP-PRD (ADJ aloof;{aloof})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-SCON (P-CONN when;{when})
                                      (IP-ADV (NP-SBJ;{BERYL} (NPR Beryl;{Beryl}))
                                              (VBD;_Tg_ suggested;{suggest})
                                              (IP-PPL-OB1 (HAG;_Tn_ having;{have})
                                                          (NP-OB1 (D a;{a})
                                                                  (NUM second;{second})
                                                                  (N party;{party}))
                                                          (PUNC ,)
                                                          (NP-NIM (D the;{the})
                                                                  (ADJP (ADJ following;{following}))
                                                                  (N week;{week})))))
                             (PUNC ,)
                             (NP-SBJ;{PIERS} (PRO he;{he}))
                             (VBD;_Tn.pr_ poured;{pour[on]})
                             (NP-OB1 (ADJP (ADJ cold;{cold}))
                                     (N water;{water}))
                             (PP-CLR (P-ROLE on;{on})
                                     (NP (D the;{the})
                                         (N project;{project}))))))
          (PUNC .))
  (ID 24_a_lob_n02))