Context                Previous, Next                Top


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

%3 r_0040_0002__year year r_0040_0001__Last Last r_0040_0002__year->r_0040_0001__Last [attrib] r_0040_0005__discovered discovered r_0040_0005__discovered->r_0040_0002__year [nim] r_0040_0004__I I r_0040_0005__discovered->r_0040_0004__I [arg0] r_0040_0006__the_r_0040_0007__story the story r_0040_0005__discovered->r_0040_0006__the_r_0040_0007__story [arg1] r_0040_0014__a_r_0040_0016__town a town r_0040_0005__discovered->r_0040_0014__a_r_0040_0016__town in [nim] r_0040_0009__the_r_0040_0011__manhole_r_0040_0012__covers the manhole covers r_0040_0006__the_r_0040_0007__story->r_0040_0009__the_r_0040_0011__manhole_r_0040_0012__covers behind r_0040_0015__little little r_0040_0014__a_r_0040_0016__town->r_0040_0015__little [attrib] r_0040_0018__the_r_0040_0019__Japanese_r_0040_0020__Alps the Japanese Alps r_0040_0014__a_r_0040_0016__town->r_0040_0018__the_r_0040_0019__Japanese_r_0040_0020__Alps in r_0040_0010__stunning stunning r_0040_0009__the_r_0040_0011__manhole_r_0040_0012__covers->r_0040_0010__stunning [attrib] 
arc(r_0040_0002__year, r_0040_0001__Last, attrib3).
arc(r_0040_0005__discovered, r_0040_0002__year, nim2).
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_nim36).
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, attrib26).
arc(r_0040_0014__a_r_0040_0016__town, r_0040_0015__little, attrib39).
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).


%3 r_0040_0014__a_r_0040_0016__town a town r_0040_0018__the_r_0040_0019__Japanese_r_0040_0020__Alps the Japanese Alps r_0040_0014__a_r_0040_0016__town->r_0040_0018__the_r_0040_0019__Japanese_r_0040_0020__Alps in r_0040_0015__little little r_0040_0014__a_r_0040_0016__town->r_0040_0015__little [attrib] r_0040_0009__the_r_0040_0011__manhole_r_0040_0012__covers the manhole covers r_0040_0010__stunning stunning r_0040_0009__the_r_0040_0011__manhole_r_0040_0012__covers->r_0040_0010__stunning [attrib] r_0040_0006__the_r_0040_0007__story the story r_0040_0006__the_r_0040_0007__story->r_0040_0009__the_r_0040_0011__manhole_r_0040_0012__covers behind r_0040_0005__discovered discovered r_0040_0005__discovered->r_0040_0014__a_r_0040_0016__town in [nim] r_0040_0005__discovered->r_0040_0006__the_r_0040_0007__story [arg1] r_0040_0004__I I r_0040_0005__discovered->r_0040_0004__I [arg0] r_0040_0002__year year r_0040_0005__discovered->r_0040_0002__year [nim] r_0040_0001__Last Last r_0040_0002__year->r_0040_0001__Last [attrib] 
fof(formula,axiom,
    ? [R_40_5_DISCOVERED,R_40_4_I,R_40_6_THE_STORY,R_40_9_THE_MANHOLE_COVERS,R_40_10_STUNNING,R_40_2_YEAR,R_40_1_LAST,R_40_14_A_TOWN,R_40_15_LITTLE,R_40_18_THE_JAPANESE_ALPS] :
      ( i(R_40_4_I)
      & stunning(R_40_10_STUNNING)
      & last(R_40_1_LAST)
      & little(R_40_15_LITTLE)
      & the_Japanese_Alps(R_40_18_THE_JAPANESE_ALPS)
      & discovered(R_40_5_DISCOVERED,R_40_4_I,R_40_6_THE_STORY)
      & the_story(R_40_6_THE_STORY)
      & behind(R_40_6_THE_STORY,R_40_9_THE_MANHOLE_COVERS)
      & the_manhole_covers(R_40_9_THE_MANHOLE_COVERS)
      & attrib26(R_40_9_THE_MANHOLE_COVERS,R_40_10_STUNNING)
      & nim2(R_40_5_DISCOVERED,R_40_2_YEAR)
      & year(R_40_2_YEAR)
      & attrib3(R_40_2_YEAR,R_40_1_LAST)
      & in_nim36(R_40_5_DISCOVERED,R_40_14_A_TOWN)
      & a_town(R_40_14_A_TOWN)
      & attrib39(R_40_14_A_TOWN,R_40_15_LITTLE)
      & in(R_40_14_A_TOWN,R_40_18_THE_JAPANESE_ALPS) ) ).


n40_a_stuck_japan n40_a_stuck_japan__1_1_1_1_1 Last n40_a_stuck_japan__1_1_2_1 year n40_a_stuck_japan__1_2_1 , n40_a_stuck_japan__1_3_1_1 I n40_a_stuck_japan__1_4_1 discovered n40_a_stuck_japan__1_5_1_1 the n40_a_stuck_japan__1_5_2_1 story n40_a_stuck_japan__1_5_3_1_1 behind n40_a_stuck_japan__1_5_3_2_1_1 the n40_a_stuck_japan__1_5_3_2_2_1_1 stunning n40_a_stuck_japan__1_5_3_2_3_1 manhole n40_a_stuck_japan__1_5_3_2_4_1 covers n40_a_stuck_japan__1_6_1_1 in n40_a_stuck_japan__1_6_2_1_1 a n40_a_stuck_japan__1_6_2_2_1_1 little n40_a_stuck_japan__1_6_2_3_1 town n40_a_stuck_japan__1_6_2_4_1_1 in n40_a_stuck_japan__1_6_2_4_2_1_1 the n40_a_stuck_japan__1_6_2_4_2_2_1 Japanese n40_a_stuck_japan__1_6_2_4_2_3_1 Alps n40_a_stuck_japan__1_7_1 . n40_a_stuck_japan__1 IP-MAT n40_a_stuck_japan__1_1 NP-NIM n40_a_stuck_japan__1->n40_a_stuck_japan__1_1 n40_a_stuck_japan__1_2 PUNC n40_a_stuck_japan__1->n40_a_stuck_japan__1_2 n40_a_stuck_japan__1_3 NP-SBJ n40_a_stuck_japan__1->n40_a_stuck_japan__1_3 n40_a_stuck_japan__1_4 VBD;_Tn_ n40_a_stuck_japan__1->n40_a_stuck_japan__1_4 n40_a_stuck_japan__1_5 NP-OB1 n40_a_stuck_japan__1->n40_a_stuck_japan__1_5 n40_a_stuck_japan__1_6 PP-NIM n40_a_stuck_japan__1->n40_a_stuck_japan__1_6 n40_a_stuck_japan__1_7 PUNC n40_a_stuck_japan__1->n40_a_stuck_japan__1_7 n40_a_stuck_japan__1_1_1 ADJP n40_a_stuck_japan__1_1->n40_a_stuck_japan__1_1_1 n40_a_stuck_japan__1_1_2 N n40_a_stuck_japan__1_1->n40_a_stuck_japan__1_1_2 n40_a_stuck_japan__1_1_1_1 ADJ n40_a_stuck_japan__1_1_1->n40_a_stuck_japan__1_1_1_1 n40_a_stuck_japan__1_1_1_1->n40_a_stuck_japan__1_1_1_1_1 n40_a_stuck_japan__1_1_2->n40_a_stuck_japan__1_1_2_1 n40_a_stuck_japan__1_2->n40_a_stuck_japan__1_2_1 n40_a_stuck_japan__1_3_1 PRO n40_a_stuck_japan__1_3->n40_a_stuck_japan__1_3_1 n40_a_stuck_japan__1_3_1->n40_a_stuck_japan__1_3_1_1 n40_a_stuck_japan__1_4->n40_a_stuck_japan__1_4_1 n40_a_stuck_japan__1_5_1 D n40_a_stuck_japan__1_5->n40_a_stuck_japan__1_5_1 n40_a_stuck_japan__1_5_2 N n40_a_stuck_japan__1_5->n40_a_stuck_japan__1_5_2 n40_a_stuck_japan__1_5_3 PP n40_a_stuck_japan__1_5->n40_a_stuck_japan__1_5_3 n40_a_stuck_japan__1_5_1->n40_a_stuck_japan__1_5_1_1 n40_a_stuck_japan__1_5_2->n40_a_stuck_japan__1_5_2_1 n40_a_stuck_japan__1_5_3_1 P-ROLE n40_a_stuck_japan__1_5_3->n40_a_stuck_japan__1_5_3_1 n40_a_stuck_japan__1_5_3_2 NP n40_a_stuck_japan__1_5_3->n40_a_stuck_japan__1_5_3_2 n40_a_stuck_japan__1_5_3_1->n40_a_stuck_japan__1_5_3_1_1 n40_a_stuck_japan__1_5_3_2_1 D n40_a_stuck_japan__1_5_3_2->n40_a_stuck_japan__1_5_3_2_1 n40_a_stuck_japan__1_5_3_2_2 ADJP n40_a_stuck_japan__1_5_3_2->n40_a_stuck_japan__1_5_3_2_2 n40_a_stuck_japan__1_5_3_2_3 N n40_a_stuck_japan__1_5_3_2->n40_a_stuck_japan__1_5_3_2_3 n40_a_stuck_japan__1_5_3_2_4 NS n40_a_stuck_japan__1_5_3_2->n40_a_stuck_japan__1_5_3_2_4 n40_a_stuck_japan__1_5_3_2_1->n40_a_stuck_japan__1_5_3_2_1_1 n40_a_stuck_japan__1_5_3_2_2_1 ADJ n40_a_stuck_japan__1_5_3_2_2->n40_a_stuck_japan__1_5_3_2_2_1 n40_a_stuck_japan__1_5_3_2_2_1->n40_a_stuck_japan__1_5_3_2_2_1_1 n40_a_stuck_japan__1_5_3_2_3->n40_a_stuck_japan__1_5_3_2_3_1 n40_a_stuck_japan__1_5_3_2_4->n40_a_stuck_japan__1_5_3_2_4_1 n40_a_stuck_japan__1_6_1 P-ROLE n40_a_stuck_japan__1_6->n40_a_stuck_japan__1_6_1 n40_a_stuck_japan__1_6_2 NP n40_a_stuck_japan__1_6->n40_a_stuck_japan__1_6_2 n40_a_stuck_japan__1_6_1->n40_a_stuck_japan__1_6_1_1 n40_a_stuck_japan__1_6_2_1 D n40_a_stuck_japan__1_6_2->n40_a_stuck_japan__1_6_2_1 n40_a_stuck_japan__1_6_2_2 ADJP n40_a_stuck_japan__1_6_2->n40_a_stuck_japan__1_6_2_2 n40_a_stuck_japan__1_6_2_3 N n40_a_stuck_japan__1_6_2->n40_a_stuck_japan__1_6_2_3 n40_a_stuck_japan__1_6_2_4 PP n40_a_stuck_japan__1_6_2->n40_a_stuck_japan__1_6_2_4 n40_a_stuck_japan__1_6_2_1->n40_a_stuck_japan__1_6_2_1_1 n40_a_stuck_japan__1_6_2_2_1 ADJ n40_a_stuck_japan__1_6_2_2->n40_a_stuck_japan__1_6_2_2_1 n40_a_stuck_japan__1_6_2_2_1->n40_a_stuck_japan__1_6_2_2_1_1 n40_a_stuck_japan__1_6_2_3->n40_a_stuck_japan__1_6_2_3_1 n40_a_stuck_japan__1_6_2_4_1 P-ROLE n40_a_stuck_japan__1_6_2_4->n40_a_stuck_japan__1_6_2_4_1 n40_a_stuck_japan__1_6_2_4_2 NP n40_a_stuck_japan__1_6_2_4->n40_a_stuck_japan__1_6_2_4_2 n40_a_stuck_japan__1_6_2_4_1->n40_a_stuck_japan__1_6_2_4_1_1 n40_a_stuck_japan__1_6_2_4_2_1 D n40_a_stuck_japan__1_6_2_4_2->n40_a_stuck_japan__1_6_2_4_2_1 n40_a_stuck_japan__1_6_2_4_2_2 NPRS n40_a_stuck_japan__1_6_2_4_2->n40_a_stuck_japan__1_6_2_4_2_2 n40_a_stuck_japan__1_6_2_4_2_3 NPRS n40_a_stuck_japan__1_6_2_4_2->n40_a_stuck_japan__1_6_2_4_2_3 n40_a_stuck_japan__1_6_2_4_2_1->n40_a_stuck_japan__1_6_2_4_2_1_1 n40_a_stuck_japan__1_6_2_4_2_2->n40_a_stuck_japan__1_6_2_4_2_2_1 n40_a_stuck_japan__1_6_2_4_2_3->n40_a_stuck_japan__1_6_2_4_2_3_1 n40_a_stuck_japan__1_7->n40_a_stuck_japan__1_7_1 
( (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))