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.
( (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))
arc(r_0024_0003__remained,r_0024_0002__Piers,arg0).
arc(r_0024_0003__remained,r_0024_0004__aloof,prd).
arc(r_0024_0006__and,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_r_0024_0023__on,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,nim).
arc(r_0024_0015__the_r_0024_0017__week,r_0024_0016__following,attrib).
arc(r_0024_0020__poured_r_0024_0023__on,r_0024_0002__Piers,arg0).
arc(r_0024_0020__poured_r_0024_0023__on,r_0024_0022__water,arg1).
arc(r_0024_0020__poured_r_0024_0023__on,r_0024_0024__the_r_0024_0025__project,arg2).
arc(r_0024_0022__water,r_0024_0021__cold,attrib).
fof(formula,axiom,
? [R_0024_0002__PIERS,R_0024_0004__ALOOF,R_0024_0003__REMAINED,R_0024_0006__AND] :
( r_0024_0002__Piers(R_0024_0002__PIERS)
& r_0024_0004__aloof(R_0024_0004__ALOOF)
& r_0024_0006__and(R_0024_0006__AND)
& ! [R_0024_0009__SUGGESTED,R_0024_0008__BERYL,R_0024_0011__A_R_0024_0012__SECOND_R_0024_0013__PARTY,R_0024_0016__FOLLOWING,R_0024_0015__THE_R_0024_0017__WEEK,R_0024_0010__HAVING] :
( ( r_0024_0008__Beryl(R_0024_0008__BERYL)
& r_0024_0011__a_r_0024_0012__second_r_0024_0013__party(R_0024_0011__A_R_0024_0012__SECOND_R_0024_0013__PARTY)
& r_0024_0016__following(R_0024_0016__FOLLOWING)
& r_0024_0009__suggested(R_0024_0009__SUGGESTED)
& has_arg1(R_0024_0009__SUGGESTED,R_0024_0010__HAVING)
& r_0024_0010__having(R_0024_0010__HAVING)
& has_nim(R_0024_0010__HAVING,R_0024_0015__THE_R_0024_0017__WEEK)
& r_0024_0015__the_r_0024_0017__week(R_0024_0015__THE_R_0024_0017__WEEK)
& has_attrib(R_0024_0015__THE_R_0024_0017__WEEK,R_0024_0016__FOLLOWING)
& has_arg1(R_0024_0010__HAVING,R_0024_0011__A_R_0024_0012__SECOND_R_0024_0013__PARTY)
& has_arg0(R_0024_0010__HAVING,R_0024_0008__BERYL)
& has_arg0(R_0024_0009__SUGGESTED,R_0024_0008__BERYL) )
=> ? [R_0024_0021__COLD,R_0024_0022__WATER,R_0024_0024__THE_R_0024_0025__PROJECT,R_0024_0020__POURED_R_0024_0023__ON] :
( r_0024_0021__cold(R_0024_0021__COLD)
& r_0024_0024__the_r_0024_0025__project(R_0024_0024__THE_R_0024_0025__PROJECT)
& r_0024_0020__poured_r_0024_0023__on(R_0024_0020__POURED_R_0024_0023__ON)
& has_arg2(R_0024_0020__POURED_R_0024_0023__ON,R_0024_0024__THE_R_0024_0025__PROJECT)
& has_arg1(R_0024_0020__POURED_R_0024_0023__ON,R_0024_0022__WATER)
& r_0024_0022__water(R_0024_0022__WATER)
& has_attrib(R_0024_0022__WATER,R_0024_0021__COLD)
& has_arg0(R_0024_0020__POURED_R_0024_0023__ON,R_0024_0002__PIERS) ) )
& has_conj1(R_0024_0006__AND,R_0024_0003__REMAINED)
& r_0024_0003__remained(R_0024_0003__REMAINED)
& has_prd(R_0024_0003__REMAINED,R_0024_0004__ALOOF)
& has_arg0(R_0024_0003__REMAINED,R_0024_0002__PIERS) ) ).