Context                Previous, Next                Top


469_a_dick_1952
Tance closed the spool up in the drum again.

%3 r_0469_0002__closed_r_0469_0005__up closed up r_0469_0001__Tance Tance r_0469_0002__closed_r_0469_0005__up->r_0469_0001__Tance [arg0] r_0469_0003__the_r_0469_0004__spool the spool r_0469_0002__closed_r_0469_0005__up->r_0469_0003__the_r_0469_0004__spool [arg1] r_0469_0007__the_r_0469_0008__drum the drum r_0469_0002__closed_r_0469_0005__up->r_0469_0007__the_r_0469_0008__drum in [nim] r_0469_0009__again again r_0469_0002__closed_r_0469_0005__up->r_0469_0009__again [nim] 
arc(r_0469_0002__closed_r_0469_0005__up, r_0469_0001__Tance, arg0).
arc(r_0469_0002__closed_r_0469_0005__up, r_0469_0003__the_r_0469_0004__spool, arg1).
arc(r_0469_0002__closed_r_0469_0005__up, r_0469_0007__the_r_0469_0008__drum, r_0469_0006__in_nim17).
arc(r_0469_0002__closed_r_0469_0005__up, r_0469_0009__again, nim22).


%3 r_0469_0002__closed_r_0469_0005__up closed up r_0469_0001__Tance Tance r_0469_0002__closed_r_0469_0005__up->r_0469_0001__Tance [arg0] r_0469_0003__the_r_0469_0004__spool the spool r_0469_0002__closed_r_0469_0005__up->r_0469_0003__the_r_0469_0004__spool [arg1] r_0469_0007__the_r_0469_0008__drum the drum r_0469_0002__closed_r_0469_0005__up->r_0469_0007__the_r_0469_0008__drum in [nim] r_0469_0009__again again r_0469_0002__closed_r_0469_0005__up->r_0469_0009__again [nim] 
fof(formula,axiom,
    ? [R_469_2_CLOSED_UP,R_469_1_TANCE,R_469_3_THE_SPOOL,R_469_9_AGAIN,R_469_7_THE_DRUM] :
      ( tance(R_469_1_TANCE)
      & the_spool(R_469_3_THE_SPOOL)
      & again(R_469_9_AGAIN)
      & the_drum(R_469_7_THE_DRUM)
      & closed_up(R_469_2_CLOSED_UP,R_469_1_TANCE,R_469_3_THE_SPOOL)
      & nim22(R_469_2_CLOSED_UP,R_469_9_AGAIN)
      & in_nim17(R_469_2_CLOSED_UP,R_469_7_THE_DRUM) ) ).


n469_a_dick_1952 n469_a_dick_1952_4 Tance n469_a_dick_1952_6 closed n469_a_dick_1952_9 the n469_a_dick_1952_11 spool n469_a_dick_1952_13 up n469_a_dick_1952_16 in n469_a_dick_1952_19 the n469_a_dick_1952_21 drum n469_a_dick_1952_24 again n469_a_dick_1952_26 . n469_a_dick_1952_1 IP-MAT n469_a_dick_1952_2 NP-SBJ n469_a_dick_1952_1->n469_a_dick_1952_2 n469_a_dick_1952_5 VBD;_Tn_ n469_a_dick_1952_1->n469_a_dick_1952_5 n469_a_dick_1952_7 NP-OB1 n469_a_dick_1952_1->n469_a_dick_1952_7 n469_a_dick_1952_12 RP n469_a_dick_1952_1->n469_a_dick_1952_12 n469_a_dick_1952_14 PP-NIM n469_a_dick_1952_1->n469_a_dick_1952_14 n469_a_dick_1952_22 ADVP-NIM n469_a_dick_1952_1->n469_a_dick_1952_22 n469_a_dick_1952_25 PUNC n469_a_dick_1952_1->n469_a_dick_1952_25 n469_a_dick_1952_3 NPR n469_a_dick_1952_2->n469_a_dick_1952_3 n469_a_dick_1952_3->n469_a_dick_1952_4 n469_a_dick_1952_5->n469_a_dick_1952_6 n469_a_dick_1952_8 D n469_a_dick_1952_7->n469_a_dick_1952_8 n469_a_dick_1952_10 N n469_a_dick_1952_7->n469_a_dick_1952_10 n469_a_dick_1952_8->n469_a_dick_1952_9 n469_a_dick_1952_10->n469_a_dick_1952_11 n469_a_dick_1952_12->n469_a_dick_1952_13 n469_a_dick_1952_15 P-ROLE n469_a_dick_1952_14->n469_a_dick_1952_15 n469_a_dick_1952_17 NP n469_a_dick_1952_14->n469_a_dick_1952_17 n469_a_dick_1952_15->n469_a_dick_1952_16 n469_a_dick_1952_18 D n469_a_dick_1952_17->n469_a_dick_1952_18 n469_a_dick_1952_20 N n469_a_dick_1952_17->n469_a_dick_1952_20 n469_a_dick_1952_18->n469_a_dick_1952_19 n469_a_dick_1952_20->n469_a_dick_1952_21 n469_a_dick_1952_23 ADV n469_a_dick_1952_22->n469_a_dick_1952_23 n469_a_dick_1952_23->n469_a_dick_1952_24 n469_a_dick_1952_25->n469_a_dick_1952_26 
( (IP-MAT (NP-SBJ;{TANCE} (NPR Tance;{Tance}))
          (VBD;_Tn_ closed;{close})
          (NP-OB1 (D the;{the})
                  (N spool;{spool}))
          (RP up;{up})
          (PP-NIM (P-ROLE in;{in})
                  (NP (D the;{the})
                      (N drum;{drum})))
          (ADVP-NIM (ADV again;{again}))
          (PUNC .))
  (ID 469_a_dick_1952))