Context                Previous, Next                Top


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_0022__water water r_0024_0021__cold cold r_0024_0022__water->r_0024_0021__cold [attrib] r_0024_0020__poured poured 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_0002__Piers Piers r_0024_0020__poured->r_0024_0002__Piers [arg0] r_0024_0015__the_r_0024_0017__week the week r_0024_0016__following following r_0024_0015__the_r_0024_0017__week->r_0024_0016__following [attrib] r_0024_0010__having having r_0024_0010__having->r_0024_0015__the_r_0024_0017__week [nim] 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_0008__Beryl Beryl r_0024_0010__having->r_0024_0008__Beryl [arg0] r_0024_0009__suggested suggested r_0024_0009__suggested->r_0024_0010__having [arg1] r_0024_0009__suggested->r_0024_0008__Beryl [arg0] r_0024_0007__when when r_0024_0007__when->r_0024_0020__poured [scope] r_0024_0007__when->r_0024_0009__suggested [restriction] r_0024_0006__and and r_0024_0006__and->r_0024_0007__when [conj2] r_0024_0001__But_r_0024_0003__remained But remained r_0024_0006__and->r_0024_0001__But_r_0024_0003__remained [conj1] 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] 
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__1_1_1_1_1 But n24_a_lob_n02__1_1_1_2_1_1 Piers n24_a_lob_n02__1_1_1_3_1 remained n24_a_lob_n02__1_1_1_4_1_1 aloof n24_a_lob_n02__1_1_2_1 , n24_a_lob_n02__1_1_3_1_1 and n24_a_lob_n02__1_1_3_2_1_1_1 when n24_a_lob_n02__1_1_3_2_1_2_1_1_1 Beryl n24_a_lob_n02__1_1_3_2_1_2_2_1 suggested n24_a_lob_n02__1_1_3_2_1_2_3_1_1 having n24_a_lob_n02__1_1_3_2_1_2_3_2_1_1 a n24_a_lob_n02__1_1_3_2_1_2_3_2_2_1 second n24_a_lob_n02__1_1_3_2_1_2_3_2_3_1 party n24_a_lob_n02__1_1_3_2_1_2_3_3_1 , n24_a_lob_n02__1_1_3_2_1_2_3_4_1_1 the n24_a_lob_n02__1_1_3_2_1_2_3_4_2_1_1 following n24_a_lob_n02__1_1_3_2_1_2_3_4_3_1 week n24_a_lob_n02__1_1_3_2_2_1 , n24_a_lob_n02__1_1_3_2_3_1_1 he n24_a_lob_n02__1_1_3_2_4_1 poured n24_a_lob_n02__1_1_3_2_5_1_1_1 cold n24_a_lob_n02__1_1_3_2_5_2_1 water n24_a_lob_n02__1_1_3_2_6_1_1 on n24_a_lob_n02__1_1_3_2_6_2_1_1 the n24_a_lob_n02__1_1_3_2_6_2_2_1 project n24_a_lob_n02__1_2_1 . n24_a_lob_n02__1 IP-MAT n24_a_lob_n02__1_1 ILYR n24_a_lob_n02__1->n24_a_lob_n02__1_1 n24_a_lob_n02__1_2 PUNC n24_a_lob_n02__1->n24_a_lob_n02__1_2 n24_a_lob_n02__1_1_1 ILYR n24_a_lob_n02__1_1->n24_a_lob_n02__1_1_1 n24_a_lob_n02__1_1_2 PUNC n24_a_lob_n02__1_1->n24_a_lob_n02__1_1_2 n24_a_lob_n02__1_1_3 CONJP n24_a_lob_n02__1_1->n24_a_lob_n02__1_1_3 n24_a_lob_n02__1_1_1_1 CONJ;_cl_ n24_a_lob_n02__1_1_1->n24_a_lob_n02__1_1_1_1 n24_a_lob_n02__1_1_1_2 NP-SBJ n24_a_lob_n02__1_1_1->n24_a_lob_n02__1_1_1_2 n24_a_lob_n02__1_1_1_3 VBD;_I_ n24_a_lob_n02__1_1_1->n24_a_lob_n02__1_1_1_3 n24_a_lob_n02__1_1_1_4 ADJP-PRD n24_a_lob_n02__1_1_1->n24_a_lob_n02__1_1_1_4 n24_a_lob_n02__1_1_1_1->n24_a_lob_n02__1_1_1_1_1 n24_a_lob_n02__1_1_1_2_1 NPR n24_a_lob_n02__1_1_1_2->n24_a_lob_n02__1_1_1_2_1 n24_a_lob_n02__1_1_1_2_1->n24_a_lob_n02__1_1_1_2_1_1 n24_a_lob_n02__1_1_1_3->n24_a_lob_n02__1_1_1_3_1 n24_a_lob_n02__1_1_1_4_1 ADJ n24_a_lob_n02__1_1_1_4->n24_a_lob_n02__1_1_1_4_1 n24_a_lob_n02__1_1_1_4_1->n24_a_lob_n02__1_1_1_4_1_1 n24_a_lob_n02__1_1_2->n24_a_lob_n02__1_1_2_1 n24_a_lob_n02__1_1_3_1 CONJ n24_a_lob_n02__1_1_3->n24_a_lob_n02__1_1_3_1 n24_a_lob_n02__1_1_3_2 ILYR n24_a_lob_n02__1_1_3->n24_a_lob_n02__1_1_3_2 n24_a_lob_n02__1_1_3_1->n24_a_lob_n02__1_1_3_1_1 n24_a_lob_n02__1_1_3_2_1 PP-SCON n24_a_lob_n02__1_1_3_2->n24_a_lob_n02__1_1_3_2_1 n24_a_lob_n02__1_1_3_2_2 PUNC n24_a_lob_n02__1_1_3_2->n24_a_lob_n02__1_1_3_2_2 n24_a_lob_n02__1_1_3_2_3 NP-SBJ n24_a_lob_n02__1_1_3_2->n24_a_lob_n02__1_1_3_2_3 n24_a_lob_n02__1_1_3_2_4 VBD;_Tn.pr_ n24_a_lob_n02__1_1_3_2->n24_a_lob_n02__1_1_3_2_4 n24_a_lob_n02__1_1_3_2_5 NP-OB1 n24_a_lob_n02__1_1_3_2->n24_a_lob_n02__1_1_3_2_5 n24_a_lob_n02__1_1_3_2_6 PP-CLR n24_a_lob_n02__1_1_3_2->n24_a_lob_n02__1_1_3_2_6 n24_a_lob_n02__1_1_3_2_1_1 P-CONN n24_a_lob_n02__1_1_3_2_1->n24_a_lob_n02__1_1_3_2_1_1 n24_a_lob_n02__1_1_3_2_1_2 IP-ADV n24_a_lob_n02__1_1_3_2_1->n24_a_lob_n02__1_1_3_2_1_2 n24_a_lob_n02__1_1_3_2_1_1->n24_a_lob_n02__1_1_3_2_1_1_1 n24_a_lob_n02__1_1_3_2_1_2_1 NP-SBJ n24_a_lob_n02__1_1_3_2_1_2->n24_a_lob_n02__1_1_3_2_1_2_1 n24_a_lob_n02__1_1_3_2_1_2_2 VBD;_Tg_ n24_a_lob_n02__1_1_3_2_1_2->n24_a_lob_n02__1_1_3_2_1_2_2 n24_a_lob_n02__1_1_3_2_1_2_3 IP-PPL-OB1 n24_a_lob_n02__1_1_3_2_1_2->n24_a_lob_n02__1_1_3_2_1_2_3 n24_a_lob_n02__1_1_3_2_1_2_1_1 NPR n24_a_lob_n02__1_1_3_2_1_2_1->n24_a_lob_n02__1_1_3_2_1_2_1_1 n24_a_lob_n02__1_1_3_2_1_2_1_1->n24_a_lob_n02__1_1_3_2_1_2_1_1_1 n24_a_lob_n02__1_1_3_2_1_2_2->n24_a_lob_n02__1_1_3_2_1_2_2_1 n24_a_lob_n02__1_1_3_2_1_2_3_1 HAG;_Tn_ n24_a_lob_n02__1_1_3_2_1_2_3->n24_a_lob_n02__1_1_3_2_1_2_3_1 n24_a_lob_n02__1_1_3_2_1_2_3_2 NP-OB1 n24_a_lob_n02__1_1_3_2_1_2_3->n24_a_lob_n02__1_1_3_2_1_2_3_2 n24_a_lob_n02__1_1_3_2_1_2_3_3 PUNC n24_a_lob_n02__1_1_3_2_1_2_3->n24_a_lob_n02__1_1_3_2_1_2_3_3 n24_a_lob_n02__1_1_3_2_1_2_3_4 NP-NIM n24_a_lob_n02__1_1_3_2_1_2_3->n24_a_lob_n02__1_1_3_2_1_2_3_4 n24_a_lob_n02__1_1_3_2_1_2_3_1->n24_a_lob_n02__1_1_3_2_1_2_3_1_1 n24_a_lob_n02__1_1_3_2_1_2_3_2_1 D n24_a_lob_n02__1_1_3_2_1_2_3_2->n24_a_lob_n02__1_1_3_2_1_2_3_2_1 n24_a_lob_n02__1_1_3_2_1_2_3_2_2 NUM n24_a_lob_n02__1_1_3_2_1_2_3_2->n24_a_lob_n02__1_1_3_2_1_2_3_2_2 n24_a_lob_n02__1_1_3_2_1_2_3_2_3 N n24_a_lob_n02__1_1_3_2_1_2_3_2->n24_a_lob_n02__1_1_3_2_1_2_3_2_3 n24_a_lob_n02__1_1_3_2_1_2_3_2_1->n24_a_lob_n02__1_1_3_2_1_2_3_2_1_1 n24_a_lob_n02__1_1_3_2_1_2_3_2_2->n24_a_lob_n02__1_1_3_2_1_2_3_2_2_1 n24_a_lob_n02__1_1_3_2_1_2_3_2_3->n24_a_lob_n02__1_1_3_2_1_2_3_2_3_1 n24_a_lob_n02__1_1_3_2_1_2_3_3->n24_a_lob_n02__1_1_3_2_1_2_3_3_1 n24_a_lob_n02__1_1_3_2_1_2_3_4_1 D n24_a_lob_n02__1_1_3_2_1_2_3_4->n24_a_lob_n02__1_1_3_2_1_2_3_4_1 n24_a_lob_n02__1_1_3_2_1_2_3_4_2 ADJP n24_a_lob_n02__1_1_3_2_1_2_3_4->n24_a_lob_n02__1_1_3_2_1_2_3_4_2 n24_a_lob_n02__1_1_3_2_1_2_3_4_3 N n24_a_lob_n02__1_1_3_2_1_2_3_4->n24_a_lob_n02__1_1_3_2_1_2_3_4_3 n24_a_lob_n02__1_1_3_2_1_2_3_4_1->n24_a_lob_n02__1_1_3_2_1_2_3_4_1_1 n24_a_lob_n02__1_1_3_2_1_2_3_4_2_1 ADJ n24_a_lob_n02__1_1_3_2_1_2_3_4_2->n24_a_lob_n02__1_1_3_2_1_2_3_4_2_1 n24_a_lob_n02__1_1_3_2_1_2_3_4_2_1->n24_a_lob_n02__1_1_3_2_1_2_3_4_2_1_1 n24_a_lob_n02__1_1_3_2_1_2_3_4_3->n24_a_lob_n02__1_1_3_2_1_2_3_4_3_1 n24_a_lob_n02__1_1_3_2_2->n24_a_lob_n02__1_1_3_2_2_1 n24_a_lob_n02__1_1_3_2_3_1 PRO n24_a_lob_n02__1_1_3_2_3->n24_a_lob_n02__1_1_3_2_3_1 n24_a_lob_n02__1_1_3_2_3_1->n24_a_lob_n02__1_1_3_2_3_1_1 n24_a_lob_n02__1_1_3_2_4->n24_a_lob_n02__1_1_3_2_4_1 n24_a_lob_n02__1_1_3_2_5_1 ADJP n24_a_lob_n02__1_1_3_2_5->n24_a_lob_n02__1_1_3_2_5_1 n24_a_lob_n02__1_1_3_2_5_2 N n24_a_lob_n02__1_1_3_2_5->n24_a_lob_n02__1_1_3_2_5_2 n24_a_lob_n02__1_1_3_2_5_1_1 ADJ n24_a_lob_n02__1_1_3_2_5_1->n24_a_lob_n02__1_1_3_2_5_1_1 n24_a_lob_n02__1_1_3_2_5_1_1->n24_a_lob_n02__1_1_3_2_5_1_1_1 n24_a_lob_n02__1_1_3_2_5_2->n24_a_lob_n02__1_1_3_2_5_2_1 n24_a_lob_n02__1_1_3_2_6_1 P-ROLE n24_a_lob_n02__1_1_3_2_6->n24_a_lob_n02__1_1_3_2_6_1 n24_a_lob_n02__1_1_3_2_6_2 NP n24_a_lob_n02__1_1_3_2_6->n24_a_lob_n02__1_1_3_2_6_2 n24_a_lob_n02__1_1_3_2_6_1->n24_a_lob_n02__1_1_3_2_6_1_1 n24_a_lob_n02__1_1_3_2_6_2_1 D n24_a_lob_n02__1_1_3_2_6_2->n24_a_lob_n02__1_1_3_2_6_2_1 n24_a_lob_n02__1_1_3_2_6_2_2 N n24_a_lob_n02__1_1_3_2_6_2->n24_a_lob_n02__1_1_3_2_6_2_2 n24_a_lob_n02__1_1_3_2_6_2_1->n24_a_lob_n02__1_1_3_2_6_2_1_1 n24_a_lob_n02__1_1_3_2_6_2_2->n24_a_lob_n02__1_1_3_2_6_2_2_1 n24_a_lob_n02__1_2->n24_a_lob_n02__1_2_1 
( (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))