TSPC 57_a_stuck

57_a_stuck_japan
The man next to me completed a rather fine sketch of Tokyo tower.

( (IP-MAT (NP-SBJ (D The;{the})
                  (N man;{man})
                  (ADJP (ADJ next;{next})
                        (PP (P-ROLE to;{to})
                            (NP (PRO me;{I})))))
          (VBD;_Tn_ completed;{complete})
          (NP-OB1 (D a;{a})
                  (ADJP (ADVP (ADV rather;{rather}))
                        (ADJ fine;{fine}))
                  (N sketch;{sketch})
                  (PP (P-ROLE of;{of})
                      (NP (NPR Tokyo;{Tokyo})
                          (N tower;{tower}))))
          (PUNC .))
  (ID 57_a_stuck_japan))

arc(r_0057_0001__The_r_0057_0002__man,r_0057_0003__next,attrib).
arc(r_0057_0003__next,r_0057_0005__me,r_0057_0004__to).
arc(r_0057_0006__completed,r_0057_0001__The_r_0057_0002__man,arg0).
arc(r_0057_0006__completed,r_0057_0007__a_r_0057_0010__sketch,arg1).
arc(r_0057_0007__a_r_0057_0010__sketch,r_0057_0009__fine,attrib).
arc(r_0057_0007__a_r_0057_0010__sketch,r_0057_0012__Tokyo_r_0057_0013__tower,r_0057_0011__of).
arc(r_0057_0009__fine,r_0057_0008__rather,qual).

fof(formula,axiom,
    ? [R_0057_0005__ME,R_0057_0003__NEXT,R_0057_0001__THE_R_0057_0002__MAN,R_0057_0008__RATHER,R_0057_0009__FINE,R_0057_0012__TOKYO_R_0057_0013__TOWER,R_0057_0007__A_R_0057_0010__SKETCH,R_0057_0006__COMPLETED] :
      ( r_0057_0005__me(R_0057_0005__ME)
      & r_0057_0008__rather(R_0057_0008__RATHER)
      & r_0057_0012__Tokyo_r_0057_0013__tower(R_0057_0012__TOKYO_R_0057_0013__TOWER)
      & r_0057_0006__completed(R_0057_0006__COMPLETED)
      & has_arg1(R_0057_0006__COMPLETED,R_0057_0007__A_R_0057_0010__SKETCH)
      & r_0057_0007__a_r_0057_0010__sketch(R_0057_0007__A_R_0057_0010__SKETCH)
      & has_r_0057_0011__of(R_0057_0007__A_R_0057_0010__SKETCH,R_0057_0012__TOKYO_R_0057_0013__TOWER)
      & has_attrib(R_0057_0007__A_R_0057_0010__SKETCH,R_0057_0009__FINE)
      & r_0057_0009__fine(R_0057_0009__FINE)
      & has_qual(R_0057_0009__FINE,R_0057_0008__RATHER)
      & has_arg0(R_0057_0006__COMPLETED,R_0057_0001__THE_R_0057_0002__MAN)
      & r_0057_0001__The_r_0057_0002__man(R_0057_0001__THE_R_0057_0002__MAN)
      & has_attrib(R_0057_0001__THE_R_0057_0002__MAN,R_0057_0003__NEXT)
      & r_0057_0003__next(R_0057_0003__NEXT)
      & has_r_0057_0004__to(R_0057_0003__NEXT,R_0057_0005__ME) ) ).