TSPC 40_a_stuck

40_a_stuck_japan
Last year, I discovered the story behind the stunning manhole covers in a little town in the Japanese Alps.

( (IP-MAT (NP-NIM (ADJP (ADJ Last;{last}))
                  (N year;{year}))
          (PUNC ,)
          (NP-SBJ (PRO I;{I}))
          (VBD;_Tn_ discovered;{discover})
          (NP-OB1 (D the;{the})
                  (N story;{story})
                  (PP (P-ROLE behind;{behind})
                      (NP (D the;{the})
                          (ADJP (ADJ stunning;{stunning}))
                          (N manhole;{manhole})
                          (NS covers;{cover}))))
          (PP-NIM (P-ROLE in;{in})
                  (NP (D a;{a})
                      (ADJP (ADJ little;{little}))
                      (N town;{town})
                      (PP (P-ROLE in;{in})
                          (NP (D the;{the})
                              (NPRS Japanese;{Japanese})
                              (NPRS Alps;{Alps})))))
          (PUNC .))
  (ID 40_a_stuck_japan))

arc(r_0040_0002__year,r_0040_0001__Last,attrib).
arc(r_0040_0005__discovered,r_0040_0002__year,nim).
arc(r_0040_0005__discovered,r_0040_0004__I,arg0).
arc(r_0040_0005__discovered,r_0040_0006__the_r_0040_0007__story,arg1).
arc(r_0040_0005__discovered,r_0040_0014__a_r_0040_0016__town,r_0040_0013__in__nim).
arc(r_0040_0006__the_r_0040_0007__story,r_0040_0009__the_r_0040_0011__manhole_r_0040_0012__covers,r_0040_0008__behind).
arc(r_0040_0009__the_r_0040_0011__manhole_r_0040_0012__covers,r_0040_0010__stunning,attrib).
arc(r_0040_0014__a_r_0040_0016__town,r_0040_0015__little,attrib).
arc(r_0040_0014__a_r_0040_0016__town,r_0040_0018__the_r_0040_0019__Japanese_r_0040_0020__Alps,r_0040_0017__in).

fof(formula,axiom,
    ? [R_0040_0001__LAST,R_0040_0002__YEAR,R_0040_0004__I,R_0040_0010__STUNNING,R_0040_0009__THE_R_0040_0011__MANHOLE_R_0040_0012__COVERS,R_0040_0006__THE_R_0040_0007__STORY,R_0040_0015__LITTLE,R_0040_0018__THE_R_0040_0019__JAPANESE_R_0040_0020__ALPS,R_0040_0014__A_R_0040_0016__TOWN,R_0040_0005__DISCOVERED] :
      ( r_0040_0001__Last(R_0040_0001__LAST)
      & r_0040_0004__I(R_0040_0004__I)
      & r_0040_0010__stunning(R_0040_0010__STUNNING)
      & r_0040_0015__little(R_0040_0015__LITTLE)
      & r_0040_0018__the_r_0040_0019__Japanese_r_0040_0020__Alps(R_0040_0018__THE_R_0040_0019__JAPANESE_R_0040_0020__ALPS)
      & r_0040_0005__discovered(R_0040_0005__DISCOVERED)
      & has_r_0040_0013__in__nim(R_0040_0005__DISCOVERED,R_0040_0014__A_R_0040_0016__TOWN)
      & r_0040_0014__a_r_0040_0016__town(R_0040_0014__A_R_0040_0016__TOWN)
      & has_r_0040_0017__in(R_0040_0014__A_R_0040_0016__TOWN,R_0040_0018__THE_R_0040_0019__JAPANESE_R_0040_0020__ALPS)
      & has_attrib(R_0040_0014__A_R_0040_0016__TOWN,R_0040_0015__LITTLE)
      & has_arg1(R_0040_0005__DISCOVERED,R_0040_0006__THE_R_0040_0007__STORY)
      & r_0040_0006__the_r_0040_0007__story(R_0040_0006__THE_R_0040_0007__STORY)
      & has_r_0040_0008__behind(R_0040_0006__THE_R_0040_0007__STORY,R_0040_0009__THE_R_0040_0011__MANHOLE_R_0040_0012__COVERS)
      & r_0040_0009__the_r_0040_0011__manhole_r_0040_0012__covers(R_0040_0009__THE_R_0040_0011__MANHOLE_R_0040_0012__COVERS)
      & has_attrib(R_0040_0009__THE_R_0040_0011__MANHOLE_R_0040_0012__COVERS,R_0040_0010__STUNNING)
      & has_arg0(R_0040_0005__DISCOVERED,R_0040_0004__I)
      & has_nim(R_0040_0005__DISCOVERED,R_0040_0002__YEAR)
      & r_0040_0002__year(R_0040_0002__YEAR)
      & has_attrib(R_0040_0002__YEAR,R_0040_0001__LAST) ) ).