Context                Previous, Next                Top


425_a_dick_1952
Dorle was wet with perspiration when they finished.

%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] 
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_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) ) ) ).


n425_a_dick_1952 n425_a_dick_1952_4 Dorle n425_a_dick_1952_6 was n425_a_dick_1952_9 wet n425_a_dick_1952_12 with n425_a_dick_1952_15 perspiration n425_a_dick_1952_18 when n425_a_dick_1952_22 they n425_a_dick_1952_24 finished n425_a_dick_1952_26 . n425_a_dick_1952_1 IP-MAT n425_a_dick_1952_2 NP-SBJ n425_a_dick_1952_1->n425_a_dick_1952_2 n425_a_dick_1952_5 BED;_La_ n425_a_dick_1952_1->n425_a_dick_1952_5 n425_a_dick_1952_7 ADJP-PRD n425_a_dick_1952_1->n425_a_dick_1952_7 n425_a_dick_1952_16 PP-SCON n425_a_dick_1952_1->n425_a_dick_1952_16 n425_a_dick_1952_25 PUNC n425_a_dick_1952_1->n425_a_dick_1952_25 n425_a_dick_1952_3 NPR n425_a_dick_1952_2->n425_a_dick_1952_3 n425_a_dick_1952_3->n425_a_dick_1952_4 n425_a_dick_1952_5->n425_a_dick_1952_6 n425_a_dick_1952_8 ADJ n425_a_dick_1952_7->n425_a_dick_1952_8 n425_a_dick_1952_10 PP n425_a_dick_1952_7->n425_a_dick_1952_10 n425_a_dick_1952_8->n425_a_dick_1952_9 n425_a_dick_1952_11 P-ROLE n425_a_dick_1952_10->n425_a_dick_1952_11 n425_a_dick_1952_13 NP n425_a_dick_1952_10->n425_a_dick_1952_13 n425_a_dick_1952_11->n425_a_dick_1952_12 n425_a_dick_1952_14 N n425_a_dick_1952_13->n425_a_dick_1952_14 n425_a_dick_1952_14->n425_a_dick_1952_15 n425_a_dick_1952_17 P-CONN n425_a_dick_1952_16->n425_a_dick_1952_17 n425_a_dick_1952_19 IP-ADV n425_a_dick_1952_16->n425_a_dick_1952_19 n425_a_dick_1952_17->n425_a_dick_1952_18 n425_a_dick_1952_20 NP-SBJ n425_a_dick_1952_19->n425_a_dick_1952_20 n425_a_dick_1952_23 VBD;_I_ n425_a_dick_1952_19->n425_a_dick_1952_23 n425_a_dick_1952_21 PRO n425_a_dick_1952_20->n425_a_dick_1952_21 n425_a_dick_1952_21->n425_a_dick_1952_22 n425_a_dick_1952_23->n425_a_dick_1952_24 n425_a_dick_1952_25->n425_a_dick_1952_26 
( (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))