Context                Previous, Next                Top


85_a_wilde_2_1888
Down stairs ran the Giant in great joy, and out into the garden.

%3 r_0085_0003__ran ran r_0085_0002__stairs stairs r_0085_0003__ran->r_0085_0002__stairs Down [nim] r_0085_0004__the_r_0085_0005__Giant the Giant r_0085_0003__ran->r_0085_0004__the_r_0085_0005__Giant [arg0] r_0085_0008__joy joy r_0085_0003__ran->r_0085_0008__joy in [nim] r_0085_0007__great great r_0085_0008__joy->r_0085_0007__great [attrib] r_0085_0010__and and r_0085_0010__and->r_0085_0003__ran [conj1] r_0085_0011__out out r_0085_0010__and->r_0085_0011__out [conj2] r_0085_0013__the_r_0085_0014__garden the garden r_0085_0011__out->r_0085_0013__the_r_0085_0014__garden into [nim] 
arc(r_0085_0003__ran, r_0085_0002__stairs, r_0085_0001__Down_nim7).
arc(r_0085_0003__ran, r_0085_0004__the_r_0085_0005__Giant, arg0).
arc(r_0085_0003__ran, r_0085_0008__joy, r_0085_0006__in_nim20).
arc(r_0085_0008__joy, r_0085_0007__great, attrib21).
arc(r_0085_0010__and, r_0085_0003__ran, conj1).
arc(r_0085_0010__and, r_0085_0011__out, conj2).
arc(r_0085_0011__out, r_0085_0013__the_r_0085_0014__garden, r_0085_0012__into_nim37).


%3 r_0085_0011__out out r_0085_0013__the_r_0085_0014__garden the garden r_0085_0011__out->r_0085_0013__the_r_0085_0014__garden into [nim] r_0085_0010__and and r_0085_0010__and->r_0085_0011__out [conj2] r_0085_0003__ran ran r_0085_0010__and->r_0085_0003__ran [conj1] r_0085_0008__joy joy r_0085_0003__ran->r_0085_0008__joy in [nim] r_0085_0004__the_r_0085_0005__Giant the Giant r_0085_0003__ran->r_0085_0004__the_r_0085_0005__Giant [arg0] r_0085_0002__stairs stairs r_0085_0003__ran->r_0085_0002__stairs Down [nim] r_0085_0007__great great r_0085_0008__joy->r_0085_0007__great [attrib] 
fof(formula,axiom,
    ? [R_0085_0002__STAIRS,R_0085_0004__THE_R_0085_0005__GIANT,R_0085_0007__GREAT,R_0085_0008__JOY,R_0085_0003__RAN,R_0085_0013__THE_R_0085_0014__GARDEN,R_0085_0011__OUT,R_0085_0010__AND] :
      ( r_0085_0002__stairs(R_0085_0002__STAIRS)
      & r_0085_0004__the_r_0085_0005__Giant(R_0085_0004__THE_R_0085_0005__GIANT)
      & r_0085_0007__great(R_0085_0007__GREAT)
      & r_0085_0013__the_r_0085_0014__garden(R_0085_0013__THE_R_0085_0014__GARDEN)
      & r_0085_0010__and(R_0085_0010__AND)
      & has_conj2(R_0085_0010__AND,R_0085_0011__OUT)
      & r_0085_0011__out(R_0085_0011__OUT)
      & has_r_0085_0012__into_nim37(R_0085_0011__OUT,R_0085_0013__THE_R_0085_0014__GARDEN)
      & has_conj1(R_0085_0010__AND,R_0085_0003__RAN)
      & r_0085_0003__ran(R_0085_0003__RAN)
      & has_r_0085_0006__in_nim20(R_0085_0003__RAN,R_0085_0008__JOY)
      & r_0085_0008__joy(R_0085_0008__JOY)
      & has_attrib21(R_0085_0008__JOY,R_0085_0007__GREAT)
      & has_arg0(R_0085_0003__RAN,R_0085_0004__THE_R_0085_0005__GIANT)
      & has_r_0085_0001__Down_nim7(R_0085_0003__RAN,R_0085_0002__STAIRS) ) ).


n85_a_wilde_2_1888 n85_a_wilde_2_1888__1_1_1_1_1_1 Down n85_a_wilde_2_1888__1_1_1_1_2_1_1 stairs n85_a_wilde_2_1888__1_1_1_2_1 ran n85_a_wilde_2_1888__1_1_1_3_1_1 the n85_a_wilde_2_1888__1_1_1_3_2_1 Giant n85_a_wilde_2_1888__1_1_1_4_1_1 in n85_a_wilde_2_1888__1_1_1_4_2_1_1_1 great n85_a_wilde_2_1888__1_1_1_4_2_2_1 joy n85_a_wilde_2_1888__1_1_2_1 , n85_a_wilde_2_1888__1_1_3_1_1 and n85_a_wilde_2_1888__1_1_3_2_1_1 out n85_a_wilde_2_1888__1_1_3_2_2_1_1 into n85_a_wilde_2_1888__1_1_3_2_2_2_1_1 the n85_a_wilde_2_1888__1_1_3_2_2_2_2_1 garden n85_a_wilde_2_1888__1_2_1 . n85_a_wilde_2_1888__1 IP-MAT n85_a_wilde_2_1888__1_1 ILYR n85_a_wilde_2_1888__1->n85_a_wilde_2_1888__1_1 n85_a_wilde_2_1888__1_2 PUNC n85_a_wilde_2_1888__1->n85_a_wilde_2_1888__1_2 n85_a_wilde_2_1888__1_1_1 ILYR n85_a_wilde_2_1888__1_1->n85_a_wilde_2_1888__1_1_1 n85_a_wilde_2_1888__1_1_2 PUNC n85_a_wilde_2_1888__1_1->n85_a_wilde_2_1888__1_1_2 n85_a_wilde_2_1888__1_1_3 CONJP n85_a_wilde_2_1888__1_1->n85_a_wilde_2_1888__1_1_3 n85_a_wilde_2_1888__1_1_1_1 PP-TPC-NIM n85_a_wilde_2_1888__1_1_1->n85_a_wilde_2_1888__1_1_1_1 n85_a_wilde_2_1888__1_1_1_2 VBD;_I_ n85_a_wilde_2_1888__1_1_1->n85_a_wilde_2_1888__1_1_1_2 n85_a_wilde_2_1888__1_1_1_3 NP-SBJ n85_a_wilde_2_1888__1_1_1->n85_a_wilde_2_1888__1_1_1_3 n85_a_wilde_2_1888__1_1_1_4 PP-NIM n85_a_wilde_2_1888__1_1_1->n85_a_wilde_2_1888__1_1_1_4 n85_a_wilde_2_1888__1_1_1_1_1 P-ROLE n85_a_wilde_2_1888__1_1_1_1->n85_a_wilde_2_1888__1_1_1_1_1 n85_a_wilde_2_1888__1_1_1_1_2 NP n85_a_wilde_2_1888__1_1_1_1->n85_a_wilde_2_1888__1_1_1_1_2 n85_a_wilde_2_1888__1_1_1_1_1->n85_a_wilde_2_1888__1_1_1_1_1_1 n85_a_wilde_2_1888__1_1_1_1_2_1 N n85_a_wilde_2_1888__1_1_1_1_2->n85_a_wilde_2_1888__1_1_1_1_2_1 n85_a_wilde_2_1888__1_1_1_1_2_1->n85_a_wilde_2_1888__1_1_1_1_2_1_1 n85_a_wilde_2_1888__1_1_1_2->n85_a_wilde_2_1888__1_1_1_2_1 n85_a_wilde_2_1888__1_1_1_3_1 D n85_a_wilde_2_1888__1_1_1_3->n85_a_wilde_2_1888__1_1_1_3_1 n85_a_wilde_2_1888__1_1_1_3_2 N n85_a_wilde_2_1888__1_1_1_3->n85_a_wilde_2_1888__1_1_1_3_2 n85_a_wilde_2_1888__1_1_1_3_1->n85_a_wilde_2_1888__1_1_1_3_1_1 n85_a_wilde_2_1888__1_1_1_3_2->n85_a_wilde_2_1888__1_1_1_3_2_1 n85_a_wilde_2_1888__1_1_1_4_1 P-ROLE n85_a_wilde_2_1888__1_1_1_4->n85_a_wilde_2_1888__1_1_1_4_1 n85_a_wilde_2_1888__1_1_1_4_2 NP n85_a_wilde_2_1888__1_1_1_4->n85_a_wilde_2_1888__1_1_1_4_2 n85_a_wilde_2_1888__1_1_1_4_1->n85_a_wilde_2_1888__1_1_1_4_1_1 n85_a_wilde_2_1888__1_1_1_4_2_1 ADJP n85_a_wilde_2_1888__1_1_1_4_2->n85_a_wilde_2_1888__1_1_1_4_2_1 n85_a_wilde_2_1888__1_1_1_4_2_2 N n85_a_wilde_2_1888__1_1_1_4_2->n85_a_wilde_2_1888__1_1_1_4_2_2 n85_a_wilde_2_1888__1_1_1_4_2_1_1 ADJ n85_a_wilde_2_1888__1_1_1_4_2_1->n85_a_wilde_2_1888__1_1_1_4_2_1_1 n85_a_wilde_2_1888__1_1_1_4_2_1_1->n85_a_wilde_2_1888__1_1_1_4_2_1_1_1 n85_a_wilde_2_1888__1_1_1_4_2_2->n85_a_wilde_2_1888__1_1_1_4_2_2_1 n85_a_wilde_2_1888__1_1_2->n85_a_wilde_2_1888__1_1_2_1 n85_a_wilde_2_1888__1_1_3_1 CONJ n85_a_wilde_2_1888__1_1_3->n85_a_wilde_2_1888__1_1_3_1 n85_a_wilde_2_1888__1_1_3_2 ILYR n85_a_wilde_2_1888__1_1_3->n85_a_wilde_2_1888__1_1_3_2 n85_a_wilde_2_1888__1_1_3_1->n85_a_wilde_2_1888__1_1_3_1_1 n85_a_wilde_2_1888__1_1_3_2_1 RP n85_a_wilde_2_1888__1_1_3_2->n85_a_wilde_2_1888__1_1_3_2_1 n85_a_wilde_2_1888__1_1_3_2_2 PP-NIM n85_a_wilde_2_1888__1_1_3_2->n85_a_wilde_2_1888__1_1_3_2_2 n85_a_wilde_2_1888__1_1_3_2_1->n85_a_wilde_2_1888__1_1_3_2_1_1 n85_a_wilde_2_1888__1_1_3_2_2_1 P-ROLE n85_a_wilde_2_1888__1_1_3_2_2->n85_a_wilde_2_1888__1_1_3_2_2_1 n85_a_wilde_2_1888__1_1_3_2_2_2 NP n85_a_wilde_2_1888__1_1_3_2_2->n85_a_wilde_2_1888__1_1_3_2_2_2 n85_a_wilde_2_1888__1_1_3_2_2_1->n85_a_wilde_2_1888__1_1_3_2_2_1_1 n85_a_wilde_2_1888__1_1_3_2_2_2_1 D n85_a_wilde_2_1888__1_1_3_2_2_2->n85_a_wilde_2_1888__1_1_3_2_2_2_1 n85_a_wilde_2_1888__1_1_3_2_2_2_2 N n85_a_wilde_2_1888__1_1_3_2_2_2->n85_a_wilde_2_1888__1_1_3_2_2_2_2 n85_a_wilde_2_1888__1_1_3_2_2_2_1->n85_a_wilde_2_1888__1_1_3_2_2_2_1_1 n85_a_wilde_2_1888__1_1_3_2_2_2_2->n85_a_wilde_2_1888__1_1_3_2_2_2_2_1 n85_a_wilde_2_1888__1_2->n85_a_wilde_2_1888__1_2_1 
( (IP-MAT (ILYR (ILYR (PP-TPC-NIM (P-ROLE Down;{down})
                                  (NP (N stairs;{stair})))
                      (VBD;_I_ ran;{run})
                      (NP-SBJ;{GIANT} (D the;{the})
                                      (N Giant;{giant}))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (ADJP (ADJ great;{great}))
                                  (N joy;{joy}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (RP out;{out})
                             (PP-NIM (P-ROLE into;{into})
                                     (NP;{GARDEN} (D the;{the})
                                                  (N garden;{garden}))))))
          (PUNC .))
  (ID 85_a_wilde_2_1888))