Context                Previous, Next                Top


425_a_dick_1952
Dorle was wet with perspiration when they finished.

n425_a_dick_1952 n425_a_dick_1952__1_1_1_1 Dorle n425_a_dick_1952__1_2_1 was n425_a_dick_1952__1_3_1_1 wet n425_a_dick_1952__1_3_2_1_1 with n425_a_dick_1952__1_3_2_2_1_1 perspiration n425_a_dick_1952__1_4_1_1 when n425_a_dick_1952__1_4_2_1_1_1 they n425_a_dick_1952__1_4_2_2_1 finished n425_a_dick_1952__1_5_1 . n425_a_dick_1952__1 IP-MAT n425_a_dick_1952__1_1 NP-SBJ n425_a_dick_1952__1->n425_a_dick_1952__1_1 n425_a_dick_1952__1_2 BED;_La_ n425_a_dick_1952__1->n425_a_dick_1952__1_2 n425_a_dick_1952__1_3 ADJP-PRD n425_a_dick_1952__1->n425_a_dick_1952__1_3 n425_a_dick_1952__1_4 PP-SCON n425_a_dick_1952__1->n425_a_dick_1952__1_4 n425_a_dick_1952__1_5 PUNC n425_a_dick_1952__1->n425_a_dick_1952__1_5 n425_a_dick_1952__1_1_1 NPR n425_a_dick_1952__1_1->n425_a_dick_1952__1_1_1 n425_a_dick_1952__1_1_1->n425_a_dick_1952__1_1_1_1 n425_a_dick_1952__1_2->n425_a_dick_1952__1_2_1 n425_a_dick_1952__1_3_1 ADJ n425_a_dick_1952__1_3->n425_a_dick_1952__1_3_1 n425_a_dick_1952__1_3_2 PP n425_a_dick_1952__1_3->n425_a_dick_1952__1_3_2 n425_a_dick_1952__1_3_1->n425_a_dick_1952__1_3_1_1 n425_a_dick_1952__1_3_2_1 P-ROLE n425_a_dick_1952__1_3_2->n425_a_dick_1952__1_3_2_1 n425_a_dick_1952__1_3_2_2 NP n425_a_dick_1952__1_3_2->n425_a_dick_1952__1_3_2_2 n425_a_dick_1952__1_3_2_1->n425_a_dick_1952__1_3_2_1_1 n425_a_dick_1952__1_3_2_2_1 N n425_a_dick_1952__1_3_2_2->n425_a_dick_1952__1_3_2_2_1 n425_a_dick_1952__1_3_2_2_1->n425_a_dick_1952__1_3_2_2_1_1 n425_a_dick_1952__1_4_1 P-CONN n425_a_dick_1952__1_4->n425_a_dick_1952__1_4_1 n425_a_dick_1952__1_4_2 IP-ADV n425_a_dick_1952__1_4->n425_a_dick_1952__1_4_2 n425_a_dick_1952__1_4_1->n425_a_dick_1952__1_4_1_1 n425_a_dick_1952__1_4_2_1 NP-SBJ n425_a_dick_1952__1_4_2->n425_a_dick_1952__1_4_2_1 n425_a_dick_1952__1_4_2_2 VBD;_I_ n425_a_dick_1952__1_4_2->n425_a_dick_1952__1_4_2_2 n425_a_dick_1952__1_4_2_1_1 PRO n425_a_dick_1952__1_4_2_1->n425_a_dick_1952__1_4_2_1_1 n425_a_dick_1952__1_4_2_1_1->n425_a_dick_1952__1_4_2_1_1_1 n425_a_dick_1952__1_4_2_2->n425_a_dick_1952__1_4_2_2_1 n425_a_dick_1952__1_5->n425_a_dick_1952__1_5_1 
( (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))


%3 r_0425_0008__finished finished r_0425_0007__they they r_0425_0008__finished->r_0425_0007__they [arg0] r_0425_0006__when when r_0425_0006__when->r_0425_0008__finished [restriction] r_0425_0002__was was r_0425_0006__when->r_0425_0002__was [scope] r_0425_0003__wet wet r_0425_0002__was->r_0425_0003__wet [prd] r_0425_0001__Dorle Dorle r_0425_0002__was->r_0425_0001__Dorle [arg0] r_0425_0005__perspiration perspiration r_0425_0003__wet->r_0425_0005__perspiration with 
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).


%3 r_0425_0002__was was r_0425_0001__Dorle Dorle r_0425_0002__was->r_0425_0001__Dorle [arg0] r_0425_0003__wet wet r_0425_0002__was->r_0425_0003__wet [prd] r_0425_0005__perspiration perspiration r_0425_0003__wet->r_0425_0005__perspiration with r_0425_0006__when when r_0425_0006__when->r_0425_0002__was [scope] r_0425_0008__finished finished r_0425_0006__when->r_0425_0008__finished [restriction] r_0425_0007__they they r_0425_0008__finished->r_0425_0007__they [arg0] 
fof(formula,axiom,
    ! [R_0425_0008__FINISHED,R_0425_0007__THEY] :
      ( ( r_0425_0007__they(R_0425_0007__THEY)
        & r_0425_0008__finished(R_0425_0008__FINISHED)
        & has_arg0(R_0425_0008__FINISHED,R_0425_0007__THEY) )
     => ? [R_0425_0001__DORLE,R_0425_0005__PERSPIRATION,R_0425_0003__WET,R_0425_0002__WAS] :
          ( r_0425_0001__Dorle(R_0425_0001__DORLE)
          & r_0425_0005__perspiration(R_0425_0005__PERSPIRATION)
          & r_0425_0002__was(R_0425_0002__WAS)
          & has_prd(R_0425_0002__WAS,R_0425_0003__WET)
          & r_0425_0003__wet(R_0425_0003__WET)
          & has_r_0425_0004__with(R_0425_0003__WET,R_0425_0005__PERSPIRATION)
          & has_arg0(R_0425_0002__WAS,R_0425_0001__DORLE) ) ) ).