Context                Previous, Next                Top


16_a_wilde_2_1888
The poor children had now nowhere to play.

%3 r_0016_0001__The_r_0016_0003__children The children r_0016_0002__poor poor r_0016_0001__The_r_0016_0003__children->r_0016_0002__poor [attrib] r_0016_0004__had had r_0016_0004__had->r_0016_0001__The_r_0016_0003__children [arg0] r_0016_0005__now now r_0016_0004__had->r_0016_0005__now [nim] z_000_16_a_wilde_2_1888_15 r_0016_0004__had->z_000_16_a_wilde_2_1888_15 [arg1] r_0016_0006__nowhere_quant nowhere [quant] r_0016_0006__nowhere_quant->r_0016_0004__had [scope] r_0016_0006__nowhere_quant->z_000_16_a_wilde_2_1888_15 [restriction] r_0016_0007__to_r_0016_0008__play to play r_0016_0007__to_r_0016_0008__play->z_000_16_a_wilde_2_1888_15 [nim] z_000_16_a_wilde_2_1888_18 r_0016_0007__to_r_0016_0008__play->z_000_16_a_wilde_2_1888_18 [arg0] 
arc(r_0016_0001__The_r_0016_0003__children, r_0016_0002__poor, attrib5).
arc(r_0016_0004__had, r_0016_0001__The_r_0016_0003__children, arg0).
arc(r_0016_0004__had, r_0016_0005__now, nim12).
arc(r_0016_0004__had, z_000_16_a_wilde_2_1888_15, arg1).
arc(r_0016_0006__nowhere_quant, r_0016_0004__had, scope).
arc(r_0016_0006__nowhere_quant, z_000_16_a_wilde_2_1888_15, restriction).
arc(r_0016_0007__to_r_0016_0008__play, z_000_16_a_wilde_2_1888_15, nim19).
arc(r_0016_0007__to_r_0016_0008__play, z_000_16_a_wilde_2_1888_18, arg0).


%3 r_0016_0001__The_r_0016_0003__children The children r_0016_0002__poor poor r_0016_0001__The_r_0016_0003__children->r_0016_0002__poor [attrib] r_0016_0004__had had r_0016_0004__had->r_0016_0001__The_r_0016_0003__children [arg0] r_0016_0005__now now r_0016_0004__had->r_0016_0005__now [nim] z_000_16_a_wilde_2_1888_15 r_0016_0004__had->z_000_16_a_wilde_2_1888_15 [arg1] r_0016_0006__nowhere_quant nowhere [quant] r_0016_0006__nowhere_quant->r_0016_0004__had [scope] r_0016_0007__to_r_0016_0008__play to play r_0016_0006__nowhere_quant->r_0016_0007__to_r_0016_0008__play [restriction] r_0016_0007__to_r_0016_0008__play->z_000_16_a_wilde_2_1888_15 [nim] z_000_16_a_wilde_2_1888_18 r_0016_0007__to_r_0016_0008__play->z_000_16_a_wilde_2_1888_18 [arg0] 
fof(formula,axiom,
    ! [R_16_7_TO_PLAY,Z_16_A_WILDE_2_1888_18,Z_16_A_WILDE_2_1888_15] :
      ( ( to_play(R_16_7_TO_PLAY,Z_16_A_WILDE_2_1888_18)
        & nim19(R_16_7_TO_PLAY,Z_16_A_WILDE_2_1888_15) )
     => ? [R_16_4_HAD,R_16_1_THE_CHILDREN,R_16_2_POOR,R_16_5_NOW] :
          ( poor(R_16_2_POOR)
          & now(R_16_5_NOW)
          & had(R_16_4_HAD,R_16_1_THE_CHILDREN,Z_16_A_WILDE_2_1888_15)
          & the_children(R_16_1_THE_CHILDREN)
          & attrib5(R_16_1_THE_CHILDREN,R_16_2_POOR)
          & nim12(R_16_4_HAD,R_16_5_NOW) ) ) ).


n16_a_wilde_2_1888 n16_a_wilde_2_1888_4 The n16_a_wilde_2_1888_7 poor n16_a_wilde_2_1888_9 children n16_a_wilde_2_1888_11 had n16_a_wilde_2_1888_14 now n16_a_wilde_2_1888_17 nowhere n16_a_wilde_2_1888_20 *T* n16_a_wilde_2_1888_22 to n16_a_wilde_2_1888_24 play n16_a_wilde_2_1888_26 . n16_a_wilde_2_1888_1 IP-MAT n16_a_wilde_2_1888_2 NP-SBJ n16_a_wilde_2_1888_1->n16_a_wilde_2_1888_2 n16_a_wilde_2_1888_10 HVD;_Tn_ n16_a_wilde_2_1888_1->n16_a_wilde_2_1888_10 n16_a_wilde_2_1888_12 ADVP-NIM n16_a_wilde_2_1888_1->n16_a_wilde_2_1888_12 n16_a_wilde_2_1888_15 NP-OB1 n16_a_wilde_2_1888_1->n16_a_wilde_2_1888_15 n16_a_wilde_2_1888_25 PUNC n16_a_wilde_2_1888_1->n16_a_wilde_2_1888_25 n16_a_wilde_2_1888_3 D n16_a_wilde_2_1888_2->n16_a_wilde_2_1888_3 n16_a_wilde_2_1888_5 ADJP n16_a_wilde_2_1888_2->n16_a_wilde_2_1888_5 n16_a_wilde_2_1888_8 NS n16_a_wilde_2_1888_2->n16_a_wilde_2_1888_8 n16_a_wilde_2_1888_3->n16_a_wilde_2_1888_4 n16_a_wilde_2_1888_6 ADJ n16_a_wilde_2_1888_5->n16_a_wilde_2_1888_6 n16_a_wilde_2_1888_6->n16_a_wilde_2_1888_7 n16_a_wilde_2_1888_8->n16_a_wilde_2_1888_9 n16_a_wilde_2_1888_10->n16_a_wilde_2_1888_11 n16_a_wilde_2_1888_13 ADV n16_a_wilde_2_1888_12->n16_a_wilde_2_1888_13 n16_a_wilde_2_1888_13->n16_a_wilde_2_1888_14 n16_a_wilde_2_1888_16 Q;_nphd_ n16_a_wilde_2_1888_15->n16_a_wilde_2_1888_16 n16_a_wilde_2_1888_18 IP-INF-REL n16_a_wilde_2_1888_15->n16_a_wilde_2_1888_18 n16_a_wilde_2_1888_16->n16_a_wilde_2_1888_17 n16_a_wilde_2_1888_19 NP-NIM n16_a_wilde_2_1888_18->n16_a_wilde_2_1888_19 n16_a_wilde_2_1888_21 TO n16_a_wilde_2_1888_18->n16_a_wilde_2_1888_21 n16_a_wilde_2_1888_23 VB;_I_ n16_a_wilde_2_1888_18->n16_a_wilde_2_1888_23 n16_a_wilde_2_1888_19->n16_a_wilde_2_1888_20 n16_a_wilde_2_1888_21->n16_a_wilde_2_1888_22 n16_a_wilde_2_1888_23->n16_a_wilde_2_1888_24 n16_a_wilde_2_1888_25->n16_a_wilde_2_1888_26 
( (IP-MAT (NP-SBJ;{CHILDREN} (D The;{the})
                             (ADJP (ADJ poor;{poor}))
                             (NS children;{child}))
          (HVD;_Tn_ had;{have})
          (ADVP-NIM (ADV now;{now}))
          (NP-OB1 (Q;_nphd_ nowhere;{nowhere})
                  (IP-INF-REL (NP-NIM *T*)
                              (TO to;{to})
                              (VB;_I_ play;{play})))
          (PUNC .))
  (ID 16_a_wilde_2_1888))