TSPC 85_a_wilde_2

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

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

arc(r_0085_0003__ran,r_0085_0002__stairs,r_0085_0001__Down__nim).
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__nim).
arc(r_0085_0008__joy,r_0085_0007__great,attrib).
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__nim).

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__nim(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__nim(R_0085_0003__RAN,R_0085_0008__JOY)
      & r_0085_0008__joy(R_0085_0008__JOY)
      & has_attrib(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__nim(R_0085_0003__RAN,R_0085_0002__STAIRS) ) ).