TSPC 156_a_stuck

156_a_stuck_japan
On one of my last days in Tokyo, I went with a group of friends to a year - end street market.

( (IP-MAT (PP-NIM (P-ROLE On;{on})
                  (NP (NUM one;{one})
                      (PP (P-ROLE of;{of})
                          (NP (NP-GEN (PRO my;{my}))
                              (ADJP (ADJ last;{last}))
                              (NS days;{day})
                              (PP (P-ROLE in;{in})
                                  (NP (NPR Tokyo;{Tokyo})))))))
          (PUNC ,)
          (NP-SBJ (PRO I;{I}))
          (VBD;__ went;{go[to]})
          (PP-NIM (P-ROLE with;{with})
                  (NP (D a;{a})
                      (N group;{group})
                      (PP (P-ROLE of;{of})
                          (NP (NS friends;{friend})))))
          (PP-CLR (P-ROLE to;{to})
                  (NP (D a;{a})
                      (NLYR (N year;{year})
                            (PUNC <hyphen>)
                            (N end;{end}))
                      (N street;{street})
                      (N market;{market})))
          (PUNC .))
  (ID 156_a_stuck_japan))

arc(r_0156_0002__one,r_0156_0006__days,r_0156_0003__of).
arc(r_0156_0006__days,r_0156_0004__my,gen).
arc(r_0156_0006__days,r_0156_0005__last,attrib).
arc(r_0156_0006__days,r_0156_0008__Tokyo,r_0156_0007__in).
arc(r_0156_0011__went,r_0156_0002__one,r_0156_0001__On__nim).
arc(r_0156_0011__went,r_0156_0004__my,arg0).
arc(r_0156_0011__went,r_0156_0013__a_r_0156_0014__group,r_0156_0012__with__nim).
arc(r_0156_0011__went,r_0156_0018__a_r_0156_0019__year_r_0156_0021__end_r_0156_0022__street_r_0156_0023__market,r_0156_0017__to__clr).
arc(r_0156_0013__a_r_0156_0014__group,r_0156_0016__friends,r_0156_0015__of).

fof(formula,axiom,
    ? [R_0156_0004__MY,R_0156_0005__LAST,R_0156_0008__TOKYO,R_0156_0006__DAYS,R_0156_0002__ONE,R_0156_0016__FRIENDS,R_0156_0013__A_R_0156_0014__GROUP,R_0156_0018__A_R_0156_0019__YEAR_R_0156_0021__END_R_0156_0022__STREET_R_0156_0023__MARKET,R_0156_0011__WENT] :
      ( r_0156_0004__my(R_0156_0004__MY)
      & r_0156_0005__last(R_0156_0005__LAST)
      & r_0156_0008__Tokyo(R_0156_0008__TOKYO)
      & r_0156_0016__friends(R_0156_0016__FRIENDS)
      & r_0156_0018__a_r_0156_0019__year_r_0156_0021__end_r_0156_0022__street_r_0156_0023__market(R_0156_0018__A_R_0156_0019__YEAR_R_0156_0021__END_R_0156_0022__STREET_R_0156_0023__MARKET)
      & r_0156_0011__went(R_0156_0011__WENT)
      & has_r_0156_0017__to__clr(R_0156_0011__WENT,R_0156_0018__A_R_0156_0019__YEAR_R_0156_0021__END_R_0156_0022__STREET_R_0156_0023__MARKET)
      & has_r_0156_0012__with__nim(R_0156_0011__WENT,R_0156_0013__A_R_0156_0014__GROUP)
      & r_0156_0013__a_r_0156_0014__group(R_0156_0013__A_R_0156_0014__GROUP)
      & has_r_0156_0015__of(R_0156_0013__A_R_0156_0014__GROUP,R_0156_0016__FRIENDS)
      & has_arg0(R_0156_0011__WENT,R_0156_0004__MY)
      & has_r_0156_0001__On__nim(R_0156_0011__WENT,R_0156_0002__ONE)
      & r_0156_0002__one(R_0156_0002__ONE)
      & has_r_0156_0003__of(R_0156_0002__ONE,R_0156_0006__DAYS)
      & r_0156_0006__days(R_0156_0006__DAYS)
      & has_r_0156_0007__in(R_0156_0006__DAYS,R_0156_0008__TOKYO)
      & has_attrib(R_0156_0006__DAYS,R_0156_0005__LAST)
      & has_gen(R_0156_0006__DAYS,R_0156_0004__MY) ) ).