arc(r_0063_0001__And_r_0063_0018__came, r_0063_0019__running, scope).
arc(r_0063_0002__the_r_0063_0004__children, r_0063_0003__other, attrib9).
arc(r_0063_0006__when, r_0063_0001__And_r_0063_0018__came, scope).
arc(r_0063_0006__when, r_0063_0008__saw, restriction).
arc(r_0063_0008__saw, r_0063_0007__they, arg0).
arc(r_0063_0008__saw, r_0063_0009__that_r_0063_0012__was, arg1).
arc(r_0063_0008__saw, r_0063_0013__not, arg1).
arc(r_0063_0009__that_r_0063_0012__was, r_0063_0010__the_r_0063_0011__Giant, arg0).
arc(r_0063_0009__that_r_0063_0012__was, r_0063_0014__wicked, prd).
arc(r_0063_0009__that_r_0063_0012__was, r_0063_0016__longer, nim41).
arc(r_0063_0013__not, r_0063_0009__that_r_0063_0012__was, keep_scope).
arc(r_0063_0016__longer, r_0063_0015__any, nim42).
arc(r_0063_0019__running, r_0063_0002__the_r_0063_0004__children, arg0).
arc(r_0063_0019__running, r_0063_0020__back, clr54).
arc(r_0063_0022__and, r_0063_0006__when, conj1).
arc(r_0063_0022__and, r_0063_0025__came, conj2).
arc(r_0063_0025__came, r_0063_0002__the_r_0063_0004__children, r_0063_0023__with_nim66).
arc(r_0063_0025__came, r_0063_0026__the_r_0063_0027__Spring, arg0).

fof(formula,axiom,
    ? [R_0063_0003__OTHER,R_0063_0002__THE_R_0063_0004__CHILDREN,R_0063_0026__THE_R_0063_0027__SPRING,R_0063_0025__CAME,R_0063_0022__AND] :
      ( r_0063_0003__other(R_0063_0003__OTHER)
      & r_0063_0026__the_r_0063_0027__Spring(R_0063_0026__THE_R_0063_0027__SPRING)
      & r_0063_0022__and(R_0063_0022__AND)
      & has_conj2(R_0063_0022__AND,R_0063_0025__CAME)
      & r_0063_0025__came(R_0063_0025__CAME)
      & has_arg0(R_0063_0025__CAME,R_0063_0026__THE_R_0063_0027__SPRING)
      & has_r_0063_0023__with_nim66(R_0063_0025__CAME,R_0063_0002__THE_R_0063_0004__CHILDREN)
      & r_0063_0002__the_r_0063_0004__children(R_0063_0002__THE_R_0063_0004__CHILDREN)
      & has_attrib9(R_0063_0002__THE_R_0063_0004__CHILDREN,R_0063_0003__OTHER)
      & ! [R_0063_0008__SAW,R_0063_0007__THEY,R_0063_0010__THE_R_0063_0011__GIANT,R_0063_0014__WICKED,R_0063_0015__ANY,R_0063_0016__LONGER,R_0063_0009__THAT_R_0063_0012__WAS] :
          ( ( r_0063_0007__they(R_0063_0007__THEY)
            & r_0063_0010__the_r_0063_0011__Giant(R_0063_0010__THE_R_0063_0011__GIANT)
            & r_0063_0014__wicked(R_0063_0014__WICKED)
            & r_0063_0015__any(R_0063_0015__ANY)
            & r_0063_0008__saw(R_0063_0008__SAW)
            & has_arg1(R_0063_0008__SAW,R_0063_0013__NOT)
            & ~ r_0063_0009__that_r_0063_0012__was(R_0063_0009__THAT_R_0063_0012__WAS)
            & has_arg1(R_0063_0008__SAW,R_0063_0009__THAT_R_0063_0012__WAS)
            & r_0063_0009__that_r_0063_0012__was(R_0063_0009__THAT_R_0063_0012__WAS)
            & has_nim41(R_0063_0009__THAT_R_0063_0012__WAS,R_0063_0016__LONGER)
            & r_0063_0016__longer(R_0063_0016__LONGER)
            & has_nim42(R_0063_0016__LONGER,R_0063_0015__ANY)
            & has_prd(R_0063_0009__THAT_R_0063_0012__WAS,R_0063_0014__WICKED)
            & has_arg0(R_0063_0009__THAT_R_0063_0012__WAS,R_0063_0010__THE_R_0063_0011__GIANT)
            & has_arg0(R_0063_0008__SAW,R_0063_0007__THEY) )
         => ? [R_0063_0020__BACK,R_0063_0001__AND_R_0063_0018__CAME_R_0063_0019__RUNNING] :
              ( r_0063_0020__back(R_0063_0020__BACK)
              & r_0063_0001__And_r_0063_0018__came_r_0063_0019__running(R_0063_0001__AND_R_0063_0018__CAME_R_0063_0019__RUNNING)
              & has_clr54(R_0063_0001__AND_R_0063_0018__CAME_R_0063_0019__RUNNING,R_0063_0020__BACK)
              & has_arg0(R_0063_0001__AND_R_0063_0018__CAME_R_0063_0019__RUNNING,R_0063_0002__THE_R_0063_0004__CHILDREN) ) ) ) ).

( (IP-MAT (ILYR (ILYR (CONJ;_cl_ And;{and})
                      (NP-SBJ;{CHILDREN} (D the;{the})
                                         (ADJP (ADJ other;{other}))
                                         (NS children;{child}))
                      (PUNC ,)
                      (PP-SCON (P-CONN when;{when})
                               (IP-ADV (NP-SBJ;{CHILDREN} (PRO they;{they}))
                                       (VBD;_Tf_ saw;{see})
                                       (CP-THT-OB1 (IP-SUB (C that;{that})
                                                           (NP-SBJ;{GIANT} (D the;{the})
                                                                           (N Giant;{giant}))
                                                           (BED;_La_ was;{be})
                                                           (NEG not;{not})
                                                           (ADJP-PRD (ADJ wicked;{wicked}))
                                                           (ADVP-NIM (NP (D;_nphd_ any;{any}))
                                                                     (ADVR longer;{long}))))))
                      (PUNC ,)
                      (VBD;_cat_Vg_ came;{come})
                      (IP-PPL-CAT (VAG;_Ip_ running;{run[back]})
                                  (ADVP-CLR (RP back;{back}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-TPC-NIM (P-ROLE with;{with})
                                         (NP;{CHILDREN} (PRO them;{they})))
                             (VBD;_I_ came;{come})
                             (NP-SBJ (D the;{the})
                                     (NPR Spring;{Spring})))))
          (PUNC .))
  (ID 63_a_wilde_2_1888))