TSPC 157_a_stuck

157_a_stuck_japan
At one stall I rifled through boxes of beautiful old woodworking tools.

( (IP-MAT (PP-NIM (P-ROLE At;{at})
                  (NP (NUM one;{one})
                      (N stall;{stall})))
          (NP-SBJ (PRO I;{I}))
          (VBD;_Ipr_ rifled;{rifle[through]})
          (PP-CLR (P-ROLE through;{through})
                  (NP (NS boxes;{box})
                      (PP (P-ROLE of;{of})
                          (NP (ADJP (ADJ beautiful;{beautiful}))
                              (ADJP (ADJ old;{old}))
                              (N woodworking;{woodworking})
                              (NS tools;{tool})))))
          (PUNC .))
  (ID 157_a_stuck_japan))

arc(r_0157_0005__rifled_r_0157_0006__through,r_0157_0002__one_r_0157_0003__stall,r_0157_0001__At__nim).
arc(r_0157_0005__rifled_r_0157_0006__through,r_0157_0004__I,arg0).
arc(r_0157_0005__rifled_r_0157_0006__through,r_0157_0007__boxes,arg1).
arc(r_0157_0007__boxes,r_0157_0011__woodworking_r_0157_0012__tools,r_0157_0008__of).
arc(r_0157_0011__woodworking_r_0157_0012__tools,r_0157_0009__beautiful,attrib).
arc(r_0157_0011__woodworking_r_0157_0012__tools,r_0157_0010__old,attrib).

fof(formula,axiom,
    ? [R_0157_0002__ONE_R_0157_0003__STALL,R_0157_0004__I,R_0157_0009__BEAUTIFUL,R_0157_0010__OLD,R_0157_0011__WOODWORKING_R_0157_0012__TOOLS,R_0157_0007__BOXES,R_0157_0005__RIFLED_R_0157_0006__THROUGH] :
      ( r_0157_0002__one_r_0157_0003__stall(R_0157_0002__ONE_R_0157_0003__STALL)
      & r_0157_0004__I(R_0157_0004__I)
      & r_0157_0009__beautiful(R_0157_0009__BEAUTIFUL)
      & r_0157_0010__old(R_0157_0010__OLD)
      & r_0157_0005__rifled_r_0157_0006__through(R_0157_0005__RIFLED_R_0157_0006__THROUGH)
      & has_arg1(R_0157_0005__RIFLED_R_0157_0006__THROUGH,R_0157_0007__BOXES)
      & r_0157_0007__boxes(R_0157_0007__BOXES)
      & has_r_0157_0008__of(R_0157_0007__BOXES,R_0157_0011__WOODWORKING_R_0157_0012__TOOLS)
      & r_0157_0011__woodworking_r_0157_0012__tools(R_0157_0011__WOODWORKING_R_0157_0012__TOOLS)
      & has_attrib(R_0157_0011__WOODWORKING_R_0157_0012__TOOLS,R_0157_0010__OLD)
      & has_attrib(R_0157_0011__WOODWORKING_R_0157_0012__TOOLS,R_0157_0009__BEAUTIFUL)
      & has_arg0(R_0157_0005__RIFLED_R_0157_0006__THROUGH,R_0157_0004__I)
      & has_r_0157_0001__At__nim(R_0157_0005__RIFLED_R_0157_0006__THROUGH,R_0157_0002__ONE_R_0157_0003__STALL) ) ).