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_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] 
fof(formula,axiom,
    ? [R_85_10_AND,R_85_3_RAN,R_85_4_THE_GIANT,R_85_2_STAIRS,R_85_8_JOY,R_85_7_GREAT,R_85_11_OUT,R_85_13_THE_GARDEN] :
      ( the_Giant(R_85_4_THE_GIANT)
      & stairs(R_85_2_STAIRS)
      & great(R_85_7_GREAT)
      & the_garden(R_85_13_THE_GARDEN)
      & and(R_85_10_AND)
      & conj1(R_85_10_AND,R_85_3_RAN)
      & ran(R_85_3_RAN,R_85_4_THE_GIANT)
      & down_nim7(R_85_3_RAN,R_85_2_STAIRS)
      & in_nim20(R_85_3_RAN,R_85_8_JOY)
      & joy(R_85_8_JOY)
      & attrib21(R_85_8_JOY,R_85_7_GREAT)
      & conj2(R_85_10_AND,R_85_11_OUT)
      & out(R_85_11_OUT)
      & into_nim37(R_85_11_OUT,R_85_13_THE_GARDEN) ) ).


n85_a_wilde_2_1888 n85_a_wilde_2_1888_6 Down n85_a_wilde_2_1888_9 stairs n85_a_wilde_2_1888_11 ran n85_a_wilde_2_1888_14 the n85_a_wilde_2_1888_16 Giant n85_a_wilde_2_1888_19 in n85_a_wilde_2_1888_23 great n85_a_wilde_2_1888_25 joy n85_a_wilde_2_1888_27 , n85_a_wilde_2_1888_30 and n85_a_wilde_2_1888_33 out n85_a_wilde_2_1888_36 into n85_a_wilde_2_1888_39 the n85_a_wilde_2_1888_41 garden n85_a_wilde_2_1888_43 . n85_a_wilde_2_1888_1 IP-MAT n85_a_wilde_2_1888_2 ILYR n85_a_wilde_2_1888_1->n85_a_wilde_2_1888_2 n85_a_wilde_2_1888_42 PUNC n85_a_wilde_2_1888_1->n85_a_wilde_2_1888_42 n85_a_wilde_2_1888_3 ILYR n85_a_wilde_2_1888_2->n85_a_wilde_2_1888_3 n85_a_wilde_2_1888_26 PUNC n85_a_wilde_2_1888_2->n85_a_wilde_2_1888_26 n85_a_wilde_2_1888_28 CONJP n85_a_wilde_2_1888_2->n85_a_wilde_2_1888_28 n85_a_wilde_2_1888_4 PP-TPC-NIM n85_a_wilde_2_1888_3->n85_a_wilde_2_1888_4 n85_a_wilde_2_1888_10 VBD;_I_ n85_a_wilde_2_1888_3->n85_a_wilde_2_1888_10 n85_a_wilde_2_1888_12 NP-SBJ n85_a_wilde_2_1888_3->n85_a_wilde_2_1888_12 n85_a_wilde_2_1888_17 PP-NIM n85_a_wilde_2_1888_3->n85_a_wilde_2_1888_17 n85_a_wilde_2_1888_5 P-ROLE n85_a_wilde_2_1888_4->n85_a_wilde_2_1888_5 n85_a_wilde_2_1888_7 NP n85_a_wilde_2_1888_4->n85_a_wilde_2_1888_7 n85_a_wilde_2_1888_5->n85_a_wilde_2_1888_6 n85_a_wilde_2_1888_8 N n85_a_wilde_2_1888_7->n85_a_wilde_2_1888_8 n85_a_wilde_2_1888_8->n85_a_wilde_2_1888_9 n85_a_wilde_2_1888_10->n85_a_wilde_2_1888_11 n85_a_wilde_2_1888_13 D n85_a_wilde_2_1888_12->n85_a_wilde_2_1888_13 n85_a_wilde_2_1888_15 N n85_a_wilde_2_1888_12->n85_a_wilde_2_1888_15 n85_a_wilde_2_1888_13->n85_a_wilde_2_1888_14 n85_a_wilde_2_1888_15->n85_a_wilde_2_1888_16 n85_a_wilde_2_1888_18 P-ROLE n85_a_wilde_2_1888_17->n85_a_wilde_2_1888_18 n85_a_wilde_2_1888_20 NP n85_a_wilde_2_1888_17->n85_a_wilde_2_1888_20 n85_a_wilde_2_1888_18->n85_a_wilde_2_1888_19 n85_a_wilde_2_1888_21 ADJP n85_a_wilde_2_1888_20->n85_a_wilde_2_1888_21 n85_a_wilde_2_1888_24 N n85_a_wilde_2_1888_20->n85_a_wilde_2_1888_24 n85_a_wilde_2_1888_22 ADJ n85_a_wilde_2_1888_21->n85_a_wilde_2_1888_22 n85_a_wilde_2_1888_22->n85_a_wilde_2_1888_23 n85_a_wilde_2_1888_24->n85_a_wilde_2_1888_25 n85_a_wilde_2_1888_26->n85_a_wilde_2_1888_27 n85_a_wilde_2_1888_29 CONJ n85_a_wilde_2_1888_28->n85_a_wilde_2_1888_29 n85_a_wilde_2_1888_31 ILYR n85_a_wilde_2_1888_28->n85_a_wilde_2_1888_31 n85_a_wilde_2_1888_29->n85_a_wilde_2_1888_30 n85_a_wilde_2_1888_32 RP n85_a_wilde_2_1888_31->n85_a_wilde_2_1888_32 n85_a_wilde_2_1888_34 PP-NIM n85_a_wilde_2_1888_31->n85_a_wilde_2_1888_34 n85_a_wilde_2_1888_32->n85_a_wilde_2_1888_33 n85_a_wilde_2_1888_35 P-ROLE n85_a_wilde_2_1888_34->n85_a_wilde_2_1888_35 n85_a_wilde_2_1888_37 NP n85_a_wilde_2_1888_34->n85_a_wilde_2_1888_37 n85_a_wilde_2_1888_35->n85_a_wilde_2_1888_36 n85_a_wilde_2_1888_38 D n85_a_wilde_2_1888_37->n85_a_wilde_2_1888_38 n85_a_wilde_2_1888_40 N n85_a_wilde_2_1888_37->n85_a_wilde_2_1888_40 n85_a_wilde_2_1888_38->n85_a_wilde_2_1888_39 n85_a_wilde_2_1888_40->n85_a_wilde_2_1888_41 n85_a_wilde_2_1888_42->n85_a_wilde_2_1888_43 
( (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))