TSPC 50_a_stuck

50_a_stuck_japan
When I renewed my Japanese driving licence, the exquisitely polite staff shuttled me from eye test to photo booth to fee payment and then asked me to report to “lecture room 28”.

arc(r_0050_0003__renewed, r_0050_0002__I, arg0).
arc(r_0050_0003__renewed, r_0050_0006__driving_r_0050_0007__licence, arg1).
arc(r_0050_0003__renewed, z_000_50_a_stuck_japan_2, nim4).
arc(r_0050_0006__driving_r_0050_0007__licence, r_0050_0002__I, gen).
arc(r_0050_0006__driving_r_0050_0007__licence, r_0050_0005__Japanese, attrib16).
arc(r_0050_0009__the_r_0050_0012__staff, r_0050_0011__polite, attrib28).
arc(r_0050_0011__polite, r_0050_0010__exquisitely, qual29).
arc(r_0050_0013__shuttled, r_0050_0002__I, arg1).
arc(r_0050_0013__shuttled, r_0050_0009__the_r_0050_0012__staff, arg0).
arc(r_0050_0013__shuttled, r_0050_0016__eye_r_0050_0017__test, r_0050_0015__from_clr46).
arc(r_0050_0013__shuttled, r_0050_0019__photo_r_0050_0020__booth, r_0050_0018__to_clr54).
arc(r_0050_0013__shuttled, r_0050_0022__fee_r_0050_0023__payment, r_0050_0021__to_clr62).
arc(r_0050_0013__shuttled, z_000_50_a_stuck_japan_2, nim2).
arc(r_0050_0024__and, r_0050_0013__shuttled, conj1).
arc(r_0050_0024__and, r_0050_0026__asked, conj2).
arc(r_0050_0026__asked, r_0050_0002__I, arg1).
arc(r_0050_0026__asked, r_0050_0009__the_r_0050_0012__staff, arg0).
arc(r_0050_0026__asked, r_0050_0025__then, nim71).
arc(r_0050_0026__asked, r_0050_0028__to_r_0050_0029__report, prd).
arc(r_0050_0026__asked, z_000_50_a_stuck_japan_2, nim2).
arc(r_0050_0028__to_r_0050_0029__report, r_0050_0032__lecture_r_0050_0033__room_r_0050_0034__28, r_0050_0030__to_clr89).
arc(r_0050_0028__to_r_0050_0029__report, x_000_50_a_stuck_japan_79, arg0).

fof(formula,axiom,
    ? [R_0050_0002__I,R_0050_0005__JAPANESE,R_0050_0006__DRIVING_R_0050_0007__LICENCE,Z_000_50_A_STUCK_JAPAN_2,R_0050_0003__RENEWED,R_0050_0010__EXQUISITELY,R_0050_0011__POLITE,R_0050_0009__THE_R_0050_0012__STAFF,R_0050_0016__EYE_R_0050_0017__TEST,R_0050_0019__PHOTO_R_0050_0020__BOOTH,R_0050_0022__FEE_R_0050_0023__PAYMENT,R_0050_0013__SHUTTLED,R_0050_0025__THEN,R_0050_0032__LECTURE_R_0050_0033__ROOM_R_0050_0034__28,X_000_50_A_STUCK_JAPAN_79,R_0050_0028__TO_R_0050_0029__REPORT,R_0050_0026__ASKED,R_0050_0024__AND] :
      ( r_0050_0002__I(R_0050_0002__I)
      & r_0050_0005__Japanese(R_0050_0005__JAPANESE)
      & r_0050_0010__exquisitely(R_0050_0010__EXQUISITELY)
      & r_0050_0016__eye_r_0050_0017__test(R_0050_0016__EYE_R_0050_0017__TEST)
      & r_0050_0019__photo_r_0050_0020__booth(R_0050_0019__PHOTO_R_0050_0020__BOOTH)
      & r_0050_0022__fee_r_0050_0023__payment(R_0050_0022__FEE_R_0050_0023__PAYMENT)
      & r_0050_0025__then(R_0050_0025__THEN)
      & r_0050_0032__lecture_r_0050_0033__room_r_0050_0034__28(R_0050_0032__LECTURE_R_0050_0033__ROOM_R_0050_0034__28)
      & x_000_50_a_stuck_japan_79(X_000_50_A_STUCK_JAPAN_79)
      & z_000_50_a_stuck_japan_2(Z_000_50_A_STUCK_JAPAN_2)
      & r_0050_0024__and(R_0050_0024__AND)
      & has_conj2(R_0050_0024__AND,R_0050_0026__ASKED)
      & r_0050_0026__asked(R_0050_0026__ASKED)
      & has_nim2(R_0050_0026__ASKED,Z_000_50_A_STUCK_JAPAN_2)
      & has_prd(R_0050_0026__ASKED,R_0050_0028__TO_R_0050_0029__REPORT)
      & r_0050_0028__to_r_0050_0029__report(R_0050_0028__TO_R_0050_0029__REPORT)
      & has_arg0(R_0050_0028__TO_R_0050_0029__REPORT,X_000_50_A_STUCK_JAPAN_79)
      & has_r_0050_0030__to_clr89(R_0050_0028__TO_R_0050_0029__REPORT,R_0050_0032__LECTURE_R_0050_0033__ROOM_R_0050_0034__28)
      & has_nim71(R_0050_0026__ASKED,R_0050_0025__THEN)
      & has_arg0(R_0050_0026__ASKED,R_0050_0009__THE_R_0050_0012__STAFF)
      & r_0050_0009__the_r_0050_0012__staff(R_0050_0009__THE_R_0050_0012__STAFF)
      & has_attrib28(R_0050_0009__THE_R_0050_0012__STAFF,R_0050_0011__POLITE)
      & r_0050_0011__polite(R_0050_0011__POLITE)
      & has_qual29(R_0050_0011__POLITE,R_0050_0010__EXQUISITELY)
      & has_arg1(R_0050_0026__ASKED,R_0050_0002__I)
      & has_conj1(R_0050_0024__AND,R_0050_0013__SHUTTLED)
      & r_0050_0013__shuttled(R_0050_0013__SHUTTLED)
      & has_nim2(R_0050_0013__SHUTTLED,Z_000_50_A_STUCK_JAPAN_2)
      & has_r_0050_0021__to_clr62(R_0050_0013__SHUTTLED,R_0050_0022__FEE_R_0050_0023__PAYMENT)
      & has_r_0050_0018__to_clr54(R_0050_0013__SHUTTLED,R_0050_0019__PHOTO_R_0050_0020__BOOTH)
      & has_r_0050_0015__from_clr46(R_0050_0013__SHUTTLED,R_0050_0016__EYE_R_0050_0017__TEST)
      & has_arg0(R_0050_0013__SHUTTLED,R_0050_0009__THE_R_0050_0012__STAFF)
      & has_arg1(R_0050_0013__SHUTTLED,R_0050_0002__I)
      & r_0050_0003__renewed(R_0050_0003__RENEWED)
      & has_nim4(R_0050_0003__RENEWED,Z_000_50_A_STUCK_JAPAN_2)
      & has_arg1(R_0050_0003__RENEWED,R_0050_0006__DRIVING_R_0050_0007__LICENCE)
      & r_0050_0006__driving_r_0050_0007__licence(R_0050_0006__DRIVING_R_0050_0007__LICENCE)
      & has_attrib16(R_0050_0006__DRIVING_R_0050_0007__LICENCE,R_0050_0005__JAPANESE)
      & has_gen(R_0050_0006__DRIVING_R_0050_0007__LICENCE,R_0050_0002__I)
      & has_arg0(R_0050_0003__RENEWED,R_0050_0002__I) ) ).

( (IP-MAT (NP-NIM (IP-REL (ADVP-NIM (RADV When;{when}))
                          (NP-SBJ (PRO I;{I}))
                          (VBD;_Tn_ renewed;{renew})
                          (NP-OB1 (NP-GEN (PRO my;{my}))
                                  (ADJP (ADJ Japanese;{Japanese}))
                                  (N driving;{driving})
                                  (N licence;{licence}))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (ADJP (ADVP (ADV exquisitely;{exquisitely}))
                        (ADJ polite;{polite}))
                  (N staff;{staff}))
          (ILYR (ILYR (VBD;_Tn.pr_ shuttled;{shuttle[from,to]})
                      (NP-OB1 (PRO me;{I}))
                      (PP-CLR (P-ROLE from;{from})
                              (NP (N eye;{eye})
                                  (N test;{test})))
                      (PP-CLR (P-ROLE to;{to})
                              (NP (N photo;{photo})
                                  (N booth;{booth})))
                      (PP-CLR (P-ROLE to;{to})
                              (NP (N fee;{fee})
                                  (N payment;{payment}))))
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV then;{then}))
                             (VBD;_Cn.t_ asked;{ask})
                             (NP-OB1 (PRO me;{I}))
                             (IP-INF-PRD (TO to;{to})
                                         (VB;_Ipr_ report;{report[to]})
                                         (PP-CLR (P-ROLE to;{to})
                                                 (PULQ <ldquo>)
                                                 (NP (N lecture;{lecture})
                                                     (N room;{room})
                                                     (NUM 28))
                                                 (PURQ <rdquo>))))))
          (PUNC .))
  (ID 50_a_stuck_japan))