Context                Previous, Next                Top


10_a_wilde_2_1888
When he arrived he saw the children playing in the garden.

%3 r_0010_0003__arrived arrived r_0010_0002__he he r_0010_0003__arrived->r_0010_0002__he [arg0] z_000_10_a_wilde_2_1888_2 r_0010_0003__arrived->z_000_10_a_wilde_2_1888_2 [nim] r_0010_0005__saw saw r_0010_0005__saw->z_000_10_a_wilde_2_1888_2 [nim] r_0010_0004__he he r_0010_0005__saw->r_0010_0004__he [arg0] r_0010_0006__the_r_0010_0007__children the children r_0010_0005__saw->r_0010_0006__the_r_0010_0007__children [arg1] r_0010_0008__playing playing r_0010_0008__playing->r_0010_0006__the_r_0010_0007__children [arg0] r_0010_0010__the_r_0010_0011__garden the garden r_0010_0008__playing->r_0010_0010__the_r_0010_0011__garden in [clr] 
arc(r_0010_0003__arrived, r_0010_0002__he, arg0).
arc(r_0010_0003__arrived, z_000_10_a_wilde_2_1888_2, nim4).
arc(r_0010_0005__saw, r_0010_0004__he, arg0).
arc(r_0010_0005__saw, r_0010_0006__the_r_0010_0007__children, arg1).
arc(r_0010_0005__saw, z_000_10_a_wilde_2_1888_2, nim2).
arc(r_0010_0008__playing, r_0010_0006__the_r_0010_0007__children, arg0).
arc(r_0010_0008__playing, r_0010_0010__the_r_0010_0011__garden, r_0010_0009__in_clr28).


%3 r_0010_0008__playing playing r_0010_0010__the_r_0010_0011__garden the garden r_0010_0008__playing->r_0010_0010__the_r_0010_0011__garden in [clr] r_0010_0006__the_r_0010_0007__children the children r_0010_0008__playing->r_0010_0006__the_r_0010_0007__children [arg0] r_0010_0005__saw saw r_0010_0005__saw->r_0010_0006__the_r_0010_0007__children [arg1] z_000_10_a_wilde_2_1888_2 r_0010_0005__saw->z_000_10_a_wilde_2_1888_2 [nim] r_0010_0004__he he r_0010_0005__saw->r_0010_0004__he [arg0] r_0010_0003__arrived arrived r_0010_0003__arrived->z_000_10_a_wilde_2_1888_2 [nim] r_0010_0002__he he r_0010_0003__arrived->r_0010_0002__he [arg0] 
fof(formula,axiom,
    ? [R_10_3_ARRIVED,R_10_2_HE,R_10_5_SAW,R_10_4_HE,Z_10_A_WILDE_2_1888_2,R_10_8_PLAYING,R_10_6_THE_CHILDREN,R_10_10_THE_GARDEN] :
      ( he(R_10_2_HE)
      & he(R_10_4_HE)
      & the_children(R_10_6_THE_CHILDREN)
      & the_garden(R_10_10_THE_GARDEN)
      & arrived(R_10_3_ARRIVED,R_10_2_HE)
      & nim4(R_10_3_ARRIVED,Z_10_A_WILDE_2_1888_2)
      & saw(R_10_5_SAW,R_10_4_HE,R_10_6_THE_CHILDREN)
      & nim2(R_10_5_SAW,Z_10_A_WILDE_2_1888_2)
      & playing(R_10_8_PLAYING,R_10_6_THE_CHILDREN)
      & in_clr28(R_10_8_PLAYING,R_10_10_THE_GARDEN) ) ).


n10_a_wilde_2_1888 n10_a_wilde_2_1888__1_1_1_1_1_1 When n10_a_wilde_2_1888__1_1_1_2_1_1 he n10_a_wilde_2_1888__1_1_1_3_1 arrived n10_a_wilde_2_1888__1_2_1_1 he n10_a_wilde_2_1888__1_3_1 saw n10_a_wilde_2_1888__1_4_1_1 the n10_a_wilde_2_1888__1_4_2_1 children n10_a_wilde_2_1888__1_4_3_1_1 playing n10_a_wilde_2_1888__1_4_3_2_1_1 in n10_a_wilde_2_1888__1_4_3_2_2_1_1 the n10_a_wilde_2_1888__1_4_3_2_2_2_1 garden n10_a_wilde_2_1888__1_5_1 . n10_a_wilde_2_1888__1 IP-MAT n10_a_wilde_2_1888__1_1 NP-NIM n10_a_wilde_2_1888__1->n10_a_wilde_2_1888__1_1 n10_a_wilde_2_1888__1_2 NP-SBJ n10_a_wilde_2_1888__1->n10_a_wilde_2_1888__1_2 n10_a_wilde_2_1888__1_3 VBD;_Tn_ n10_a_wilde_2_1888__1->n10_a_wilde_2_1888__1_3 n10_a_wilde_2_1888__1_4 NP-OB1 n10_a_wilde_2_1888__1->n10_a_wilde_2_1888__1_4 n10_a_wilde_2_1888__1_5 PUNC n10_a_wilde_2_1888__1->n10_a_wilde_2_1888__1_5 n10_a_wilde_2_1888__1_1_1 IP-REL n10_a_wilde_2_1888__1_1->n10_a_wilde_2_1888__1_1_1 n10_a_wilde_2_1888__1_1_1_1 ADVP-NIM n10_a_wilde_2_1888__1_1_1->n10_a_wilde_2_1888__1_1_1_1 n10_a_wilde_2_1888__1_1_1_2 NP-SBJ n10_a_wilde_2_1888__1_1_1->n10_a_wilde_2_1888__1_1_1_2 n10_a_wilde_2_1888__1_1_1_3 VBD;_I_ n10_a_wilde_2_1888__1_1_1->n10_a_wilde_2_1888__1_1_1_3 n10_a_wilde_2_1888__1_1_1_1_1 RADV n10_a_wilde_2_1888__1_1_1_1->n10_a_wilde_2_1888__1_1_1_1_1 n10_a_wilde_2_1888__1_1_1_1_1->n10_a_wilde_2_1888__1_1_1_1_1_1 n10_a_wilde_2_1888__1_1_1_2_1 PRO n10_a_wilde_2_1888__1_1_1_2->n10_a_wilde_2_1888__1_1_1_2_1 n10_a_wilde_2_1888__1_1_1_2_1->n10_a_wilde_2_1888__1_1_1_2_1_1 n10_a_wilde_2_1888__1_1_1_3->n10_a_wilde_2_1888__1_1_1_3_1 n10_a_wilde_2_1888__1_2_1 PRO n10_a_wilde_2_1888__1_2->n10_a_wilde_2_1888__1_2_1 n10_a_wilde_2_1888__1_2_1->n10_a_wilde_2_1888__1_2_1_1 n10_a_wilde_2_1888__1_3->n10_a_wilde_2_1888__1_3_1 n10_a_wilde_2_1888__1_4_1 D n10_a_wilde_2_1888__1_4->n10_a_wilde_2_1888__1_4_1 n10_a_wilde_2_1888__1_4_2 NS n10_a_wilde_2_1888__1_4->n10_a_wilde_2_1888__1_4_2 n10_a_wilde_2_1888__1_4_3 IP-PPL n10_a_wilde_2_1888__1_4->n10_a_wilde_2_1888__1_4_3 n10_a_wilde_2_1888__1_4_1->n10_a_wilde_2_1888__1_4_1_1 n10_a_wilde_2_1888__1_4_2->n10_a_wilde_2_1888__1_4_2_1 n10_a_wilde_2_1888__1_4_3_1 VAG;_Ipr_ n10_a_wilde_2_1888__1_4_3->n10_a_wilde_2_1888__1_4_3_1 n10_a_wilde_2_1888__1_4_3_2 PP-CLR n10_a_wilde_2_1888__1_4_3->n10_a_wilde_2_1888__1_4_3_2 n10_a_wilde_2_1888__1_4_3_1->n10_a_wilde_2_1888__1_4_3_1_1 n10_a_wilde_2_1888__1_4_3_2_1 P-ROLE n10_a_wilde_2_1888__1_4_3_2->n10_a_wilde_2_1888__1_4_3_2_1 n10_a_wilde_2_1888__1_4_3_2_2 NP n10_a_wilde_2_1888__1_4_3_2->n10_a_wilde_2_1888__1_4_3_2_2 n10_a_wilde_2_1888__1_4_3_2_1->n10_a_wilde_2_1888__1_4_3_2_1_1 n10_a_wilde_2_1888__1_4_3_2_2_1 D n10_a_wilde_2_1888__1_4_3_2_2->n10_a_wilde_2_1888__1_4_3_2_2_1 n10_a_wilde_2_1888__1_4_3_2_2_2 N n10_a_wilde_2_1888__1_4_3_2_2->n10_a_wilde_2_1888__1_4_3_2_2_2 n10_a_wilde_2_1888__1_4_3_2_2_1->n10_a_wilde_2_1888__1_4_3_2_2_1_1 n10_a_wilde_2_1888__1_4_3_2_2_2->n10_a_wilde_2_1888__1_4_3_2_2_2_1 n10_a_wilde_2_1888__1_5->n10_a_wilde_2_1888__1_5_1 
( (IP-MAT (NP-NIM (IP-REL (ADVP-NIM (RADV When;{when}))
                          (NP-SBJ;{GIANT} (PRO he;{he}))
                          (VBD;_I_ arrived;{arrive})))
          (NP-SBJ;{GIANT} (PRO he;{he}))
          (VBD;_Tn_ saw;{see})
          (NP-OB1;{CHILDREN} (D the;{the})
                             (NS children;{child})
                             (IP-PPL (VAG;_Ipr_ playing;{play[in]})
                                     (PP-CLR (P-ROLE in;{in})
                                             (NP (D the;{the})
                                                 (N garden;{garden})))))
          (PUNC .))
  (ID 10_a_wilde_2_1888))