TSPC 26_a_hardy

26_a_hardy_1883
The lights were scattered about the room, two of them standing on the chimney-piece.

( (IP-MAT (NP-SBJ;{LIGHTS} (D The;{the})
                           (NS lights;{light}))
          (BED;_cat_VePASS_ were;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ scattered;{scatter})
                      (PP-NIM (P-ROLE about;{about})
                              (NP (D the;{the})
                                  (N room;{room}))))
          (PUNC ,)
          (PP-SCON (IP-PPL3 (NP-SBJ (NUM two;{two})
                                    (PP (P-ROLE of;{of})
                                        (NP;{LIGHTS} (PRO them;{they}))))
                            (VAG;_Tn.pr_ standing;{stand[on]})
                            (PP-CLR (P-ROLE on;{on})
                                    (NP (D the;{the})
                                        (N chimney_<hyphen>_piece;{chimney_piece})))))
          (PUNC .))
  (ID 26_a_hardy_1883))

arc(r_0026_0003__were,r_0026_0004__scattered,scope).
arc(r_0026_0004__scattered,r_0026_0001__The_r_0026_0002__lights,arg1).
arc(r_0026_0004__scattered,r_0026_0006__the_r_0026_0007__room,r_0026_0005__about__nim).
arc(r_0026_0004__scattered,z_0026_5010___star_,arg0).
arc(r_0026_0009__two,r_0026_0001__The_r_0026_0002__lights,r_0026_0010__of).
arc(r_0026_0012__standing_r_0026_0013__on,r_0026_0009__two,arg0).
arc(r_0026_0012__standing_r_0026_0013__on,r_0026_0014__the_r_0026_0015__chimney__hyphen__piece,arg2).
arc(z_0026_5002,r_0026_0003__were,scope).
arc(z_0026_5002,r_0026_0012__standing_r_0026_0013__on,restriction).

fof(formula,axiom,
    ? [R_0026_0001__THE_R_0026_0002__LIGHTS,R_0026_0006__THE_R_0026_0007__ROOM,Z_0026_5010___STAR_,R_0026_0003__WERE_R_0026_0004__SCATTERED,R_0026_0009__TWO,R_0026_0014__THE_R_0026_0015__CHIMNEY__HYPHEN__PIECE,R_0026_0012__STANDING_R_0026_0013__ON,Z_0026_5002] :
      ( r_0026_0001__The_r_0026_0002__lights(R_0026_0001__THE_R_0026_0002__LIGHTS)
      & r_0026_0006__the_r_0026_0007__room(R_0026_0006__THE_R_0026_0007__ROOM)
      & r_0026_0014__the_r_0026_0015__chimney__hyphen__piece(R_0026_0014__THE_R_0026_0015__CHIMNEY__HYPHEN__PIECE)
      & z_0026_5010___star_(Z_0026_5010___STAR_)
      & z_0026_5002(Z_0026_5002)
      & has_conj1(Z_0026_5002,R_0026_0012__STANDING_R_0026_0013__ON)
      & r_0026_0012__standing_r_0026_0013__on(R_0026_0012__STANDING_R_0026_0013__ON)
      & has_arg2(R_0026_0012__STANDING_R_0026_0013__ON,R_0026_0014__THE_R_0026_0015__CHIMNEY__HYPHEN__PIECE)
      & has_arg0(R_0026_0012__STANDING_R_0026_0013__ON,R_0026_0009__TWO)
      & r_0026_0009__two(R_0026_0009__TWO)
      & has_r_0026_0010__of(R_0026_0009__TWO,R_0026_0001__THE_R_0026_0002__LIGHTS)
      & has_conj2(Z_0026_5002,R_0026_0003__WERE_R_0026_0004__SCATTERED)
      & r_0026_0003__were_r_0026_0004__scattered(R_0026_0003__WERE_R_0026_0004__SCATTERED)
      & has_arg0(R_0026_0003__WERE_R_0026_0004__SCATTERED,Z_0026_5010___STAR_)
      & has_r_0026_0005__about__nim(R_0026_0003__WERE_R_0026_0004__SCATTERED,R_0026_0006__THE_R_0026_0007__ROOM)
      & has_arg1(R_0026_0003__WERE_R_0026_0004__SCATTERED,R_0026_0001__THE_R_0026_0002__LIGHTS) ) ).