arc(r_0002_0001__Every_quant, r_0002_0002__afternoon, restriction).
arc(r_0002_0001__Every_quant, r_0002_0004__as, scope).
arc(r_0002_0004__as, r_0002_0006__were, restriction).
arc(r_0002_0004__as, r_0002_0013__used, scope).
arc(r_0002_0006__were, r_0002_0007__coming, scope).
arc(r_0002_0007__coming, r_0002_0005__they, arg0).
arc(r_0002_0007__coming, r_0002_0009__school, r_0002_0008__from_clr24).
arc(r_0002_0013__used, r_0002_0002__afternoon, nim2).
arc(r_0002_0013__used, r_0002_0016__and, scope).
arc(r_0002_0015__go, r_0002_0011__the_r_0002_0012__children, arg0).
arc(r_0002_0015__go, r_0002_0022__garden, r_0002_0018__in_clr52).
arc(r_0002_0016__and, r_0002_0015__go, conj1).
arc(r_0002_0016__and, r_0002_0017__play, conj2).
arc(r_0002_0017__play, r_0002_0011__the_r_0002_0012__children, arg0).
arc(r_0002_0017__play, r_0002_0022__garden, r_0002_0018__in_clr52).
arc(r_0002_0022__garden, r_0002_0019__the_r_0002_0020__Giant_r_0002_0021___apos_s, gen).

fof(formula,axiom,
    ! [R_2_2_AFTERNOON] :
      ( afternoon(R_2_2_AFTERNOON)
     => ? [R_2_4_AS,R_2_6_WERE_COMING,R_2_5_THEY,R_2_9_SCHOOL] :
          ( they(R_2_5_THEY)
          & school(R_2_9_SCHOOL)
          & as(R_2_4_AS)
          & conj1(R_2_4_AS,R_2_6_WERE_COMING)
          & were_coming(R_2_6_WERE_COMING,R_2_5_THEY)
          & from_clr24(R_2_6_WERE_COMING,R_2_9_SCHOOL)
          & conj2(R_2_4_AS,R_2_13_USED)
          & ? [R_2_16_AND,R_2_15_GO,R_2_17_PLAY,R_2_11_THE_CHILDREN,R_2_22_GARDEN,R_2_19_THE_GIANT_APOS_S] :
              ( the_children(R_2_11_THE_CHILDREN)
              & the_Giant_apos_s(R_2_19_THE_GIANT_APOS_S)
              & and(R_2_16_AND)
              & conj1(R_2_16_AND,R_2_15_GO)
              & go(R_2_15_GO,R_2_11_THE_CHILDREN)
              & in_clr52(R_2_15_GO,R_2_22_GARDEN)
              & garden(R_2_22_GARDEN)
              & gen(R_2_22_GARDEN,R_2_19_THE_GIANT_APOS_S)
              & conj2(R_2_16_AND,R_2_17_PLAY)
              & play(R_2_17_PLAY,R_2_11_THE_CHILDREN)
              & in_clr52(R_2_17_PLAY,R_2_22_GARDEN) ) ) ) ).

( (IP-MAT (NP-NIM (Q Every;{every})
                  (N afternoon;{afternoon}))
          (PUNC ,)
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ;{CHILDREN} (PRO they;{they}))
                           (BED;_cat_Vg_ were;{be})
                           (IP-PPL-CAT (VAG;_Ipr_ coming;{come[from]})
                                       (PP-CLR (P-ROLE from;{from})
                                               (NP (N school;{school}))))))
          (PUNC ,)
          (NP-SBJ;{CHILDREN} (D the;{the})
                             (NS children;{child}))
          (MD;_cat_Vt_ used;{used})
          (IP-INF-CAT (TO to;{to})
                      (ILYR (ILYR (VB;_Ipr_ go;{go[in]}))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_Ipr_ play;{play[in]}))))
                      (PP-CLR (P-ROLE in;{in})
                              (NP;{GARDEN} (NP-GEN (D the;{the})
                                                   (N Giant;{giant})
                                                   (GENM <apos>s))
                                           (N garden;{garden}))))
          (PUNC .))
  (ID 2_a_wilde_2_1888))