TSPC 104_a_wilde_1

104_a_wilde_1_1888
In he hopped, and laid the great ruby on the table beside the woman's thimble.

arc(r_0104_0003__hopped, r_0104_0002__he, arg0).
arc(r_0104_0005__and, r_0104_0003__hopped, conj1).
arc(r_0104_0005__and, r_0104_0006__laid, conj2).
arc(r_0104_0006__laid, r_0104_0002__he, arg0).
arc(r_0104_0006__laid, r_0104_0007__the_r_0104_0009__ruby, arg1).
arc(r_0104_0006__laid, r_0104_0011__the_r_0104_0012__table, r_0104_0010__on_clr32).
arc(r_0104_0007__the_r_0104_0009__ruby, r_0104_0008__great, attrib24).
arc(r_0104_0011__the_r_0104_0012__table, r_0104_0017__thimble, r_0104_0013__beside).
arc(r_0104_0017__thimble, r_0104_0014__the_r_0104_0015__woman_r_0104_0016___apos_s, gen).

fof(formula,axiom,
    ? [R_0104_0002__HE,R_0104_0003__HOPPED,R_0104_0008__GREAT,R_0104_0007__THE_R_0104_0009__RUBY,R_0104_0014__THE_R_0104_0015__WOMAN_R_0104_0016___APOS_S,R_0104_0017__THIMBLE,R_0104_0011__THE_R_0104_0012__TABLE,R_0104_0006__LAID,R_0104_0005__AND] :
      ( r_0104_0002__he(R_0104_0002__HE)
      & r_0104_0008__great(R_0104_0008__GREAT)
      & r_0104_0014__the_r_0104_0015__woman_r_0104_0016___apos_s(R_0104_0014__THE_R_0104_0015__WOMAN_R_0104_0016___APOS_S)
      & r_0104_0005__and(R_0104_0005__AND)
      & has_conj2(R_0104_0005__AND,R_0104_0006__LAID)
      & r_0104_0006__laid(R_0104_0006__LAID)
      & has_r_0104_0010__on_clr32(R_0104_0006__LAID,R_0104_0011__THE_R_0104_0012__TABLE)
      & r_0104_0011__the_r_0104_0012__table(R_0104_0011__THE_R_0104_0012__TABLE)
      & has_r_0104_0013__beside(R_0104_0011__THE_R_0104_0012__TABLE,R_0104_0017__THIMBLE)
      & r_0104_0017__thimble(R_0104_0017__THIMBLE)
      & has_gen(R_0104_0017__THIMBLE,R_0104_0014__THE_R_0104_0015__WOMAN_R_0104_0016___APOS_S)
      & has_arg1(R_0104_0006__LAID,R_0104_0007__THE_R_0104_0009__RUBY)
      & r_0104_0007__the_r_0104_0009__ruby(R_0104_0007__THE_R_0104_0009__RUBY)
      & has_attrib24(R_0104_0007__THE_R_0104_0009__RUBY,R_0104_0008__GREAT)
      & has_arg0(R_0104_0006__LAID,R_0104_0002__HE)
      & has_conj1(R_0104_0005__AND,R_0104_0003__HOPPED)
      & r_0104_0003__hopped(R_0104_0003__HOPPED)
      & has_arg0(R_0104_0003__HOPPED,R_0104_0002__HE) ) ).

( (IP-MAT (RP-191 In;{in})
          (NP-SBJ;{SWALLOW} (PRO he;{he}))
          (ILYR (ILYR (VBD;_Ip_ hopped;{hop[in]})
                      (RP *ICH*-191))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_Tn.pr_ laid;{lay[on]})
                             (NP-OB1 (D the;{the})
                                     (ADJP (ADJ great;{great}))
                                     (N ruby;{ruby}))
                             (PP-CLR (P-ROLE on;{on})
                                     (NP (D the;{the})
                                         (N table;{table})
                                         (PP (P-ROLE beside;{beside})
                                             (NP (NP-GEN;{SEAMSTRESS} (D the;{the})
                                                                      (N woman;{woman})
                                                                      (GENM <apos>s))
                                                 (N thimble;{thimble}))))))))
          (PUNC .))
  (ID 104_a_wilde_1_1888))