425_a_dick_1952
Dorle was wet with perspiration when they finished.
arc(r_0425_0002__was, r_0425_0001__Dorle, arg0).
arc(r_0425_0002__was, r_0425_0003__wet, prd).
arc(r_0425_0003__wet, r_0425_0005__perspiration, r_0425_0004__with).
arc(r_0425_0006__when, r_0425_0002__was, scope).
arc(r_0425_0006__when, r_0425_0008__finished, restriction).
arc(r_0425_0008__finished, r_0425_0007__they, arg0).
fof(formula,axiom,
! [R_425_8_FINISHED,R_425_7_THEY] :
( ( they(R_425_7_THEY)
& finished(R_425_8_FINISHED,R_425_7_THEY) )
=> ? [R_425_2_WAS,R_425_1_DORLE,R_425_3_WET,R_425_5_PERSPIRATION] :
( dorle(R_425_1_DORLE)
& perspiration(R_425_5_PERSPIRATION)
& was(R_425_2_WAS,R_425_1_DORLE,R_425_3_WET)
& wet(R_425_3_WET)
& with(R_425_3_WET,R_425_5_PERSPIRATION) ) ) ).
( (IP-MAT (NP-SBJ;{DORLE} (NPR Dorle;{Dorle}))
(BED;_La_ was;{be})
(ADJP-PRD (ADJ wet;{wet})
(PP (P-ROLE with;{with})
(NP (N perspiration;{perspiration}))))
(PP-SCON (P-CONN when;{when})
(IP-ADV (NP-SBJ;{DORLE_NASHA_TANCE} (PRO they;{they}))
(VBD;_I_ finished;{finish})))
(PUNC .))
(ID 425_a_dick_1952))