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_0010_0002__HE,Z_000_10_A_WILDE_2_1888_2,R_0010_0003__ARRIVED,R_0010_0004__HE,R_0010_0006__THE_R_0010_0007__CHILDREN,R_0010_0005__SAW,R_0010_0010__THE_R_0010_0011__GARDEN,R_0010_0008__PLAYING] :
      ( r_0010_0002__he(R_0010_0002__HE)
      & r_0010_0004__he(R_0010_0004__HE)
      & r_0010_0006__the_r_0010_0007__children(R_0010_0006__THE_R_0010_0007__CHILDREN)
      & r_0010_0010__the_r_0010_0011__garden(R_0010_0010__THE_R_0010_0011__GARDEN)
      & z_000_10_a_wilde_2_1888_2(Z_000_10_A_WILDE_2_1888_2)
      & r_0010_0008__playing(R_0010_0008__PLAYING)
      & has_r_0010_0009__in_clr28(R_0010_0008__PLAYING,R_0010_0010__THE_R_0010_0011__GARDEN)
      & has_arg0(R_0010_0008__PLAYING,R_0010_0006__THE_R_0010_0007__CHILDREN)
      & r_0010_0005__saw(R_0010_0005__SAW)
      & has_nim2(R_0010_0005__SAW,Z_000_10_A_WILDE_2_1888_2)
      & has_arg1(R_0010_0005__SAW,R_0010_0006__THE_R_0010_0007__CHILDREN)
      & has_arg0(R_0010_0005__SAW,R_0010_0004__HE)
      & r_0010_0003__arrived(R_0010_0003__ARRIVED)
      & has_nim4(R_0010_0003__ARRIVED,Z_000_10_A_WILDE_2_1888_2)
      & has_arg0(R_0010_0003__ARRIVED,R_0010_0002__HE) ) ).


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))