Context                Previous, Next                Top


78_a_stuck_japan
I remember sitting in a village hall on the Boso Peninsula on the far side of Tokyo Bay.

%3 r_0078_0002__remember remember r_0078_0001__I I r_0078_0002__remember->r_0078_0001__I [arg0] r_0078_0003__sitting sitting r_0078_0002__remember->r_0078_0003__sitting [arg1] r_0078_0003__sitting->r_0078_0001__I [arg0] r_0078_0005__a_r_0078_0006__village_r_0078_0007__hall a village hall r_0078_0003__sitting->r_0078_0005__a_r_0078_0006__village_r_0078_0007__hall in [nim] r_0078_0009__the_r_0078_0010__Boso_r_0078_0011__Peninsula the Boso Peninsula r_0078_0005__a_r_0078_0006__village_r_0078_0007__hall->r_0078_0009__the_r_0078_0010__Boso_r_0078_0011__Peninsula on r_0078_0013__the_r_0078_0015__side the side r_0078_0009__the_r_0078_0010__Boso_r_0078_0011__Peninsula->r_0078_0013__the_r_0078_0015__side on r_0078_0014__far far r_0078_0013__the_r_0078_0015__side->r_0078_0014__far [attrib] r_0078_0017__Tokyo_r_0078_0018__Bay Tokyo Bay r_0078_0013__the_r_0078_0015__side->r_0078_0017__Tokyo_r_0078_0018__Bay of 
arc(r_0078_0002__remember, r_0078_0001__I, arg0).
arc(r_0078_0002__remember, r_0078_0003__sitting, arg1).
arc(r_0078_0003__sitting, r_0078_0001__I, arg0).
arc(r_0078_0003__sitting, r_0078_0005__a_r_0078_0006__village_r_0078_0007__hall, r_0078_0004__in_nim13).
arc(r_0078_0005__a_r_0078_0006__village_r_0078_0007__hall, r_0078_0009__the_r_0078_0010__Boso_r_0078_0011__Peninsula, r_0078_0008__on).
arc(r_0078_0009__the_r_0078_0010__Boso_r_0078_0011__Peninsula, r_0078_0013__the_r_0078_0015__side, r_0078_0012__on).
arc(r_0078_0013__the_r_0078_0015__side, r_0078_0014__far, attrib36).
arc(r_0078_0013__the_r_0078_0015__side, r_0078_0017__Tokyo_r_0078_0018__Bay, r_0078_0016__of).


%3 r_0078_0013__the_r_0078_0015__side the side r_0078_0017__Tokyo_r_0078_0018__Bay Tokyo Bay r_0078_0013__the_r_0078_0015__side->r_0078_0017__Tokyo_r_0078_0018__Bay of r_0078_0014__far far r_0078_0013__the_r_0078_0015__side->r_0078_0014__far [attrib] r_0078_0009__the_r_0078_0010__Boso_r_0078_0011__Peninsula the Boso Peninsula r_0078_0009__the_r_0078_0010__Boso_r_0078_0011__Peninsula->r_0078_0013__the_r_0078_0015__side on r_0078_0005__a_r_0078_0006__village_r_0078_0007__hall a village hall r_0078_0005__a_r_0078_0006__village_r_0078_0007__hall->r_0078_0009__the_r_0078_0010__Boso_r_0078_0011__Peninsula on r_0078_0003__sitting sitting r_0078_0003__sitting->r_0078_0005__a_r_0078_0006__village_r_0078_0007__hall in [nim] r_0078_0001__I I r_0078_0003__sitting->r_0078_0001__I [arg0] r_0078_0002__remember remember r_0078_0002__remember->r_0078_0003__sitting [arg1] r_0078_0002__remember->r_0078_0001__I [arg0] 
fof(formula,axiom,
    ? [R_0078_0001__I,R_0078_0014__FAR,R_0078_0017__TOKYO_R_0078_0018__BAY,R_0078_0013__THE_R_0078_0015__SIDE,R_0078_0009__THE_R_0078_0010__BOSO_R_0078_0011__PENINSULA,R_0078_0005__A_R_0078_0006__VILLAGE_R_0078_0007__HALL,R_0078_0003__SITTING,R_0078_0002__REMEMBER] :
      ( r_0078_0001__I(R_0078_0001__I)
      & r_0078_0014__far(R_0078_0014__FAR)
      & r_0078_0017__Tokyo_r_0078_0018__Bay(R_0078_0017__TOKYO_R_0078_0018__BAY)
      & r_0078_0002__remember(R_0078_0002__REMEMBER)
      & has_arg1(R_0078_0002__REMEMBER,R_0078_0003__SITTING)
      & r_0078_0003__sitting(R_0078_0003__SITTING)
      & has_r_0078_0004__in_nim13(R_0078_0003__SITTING,R_0078_0005__A_R_0078_0006__VILLAGE_R_0078_0007__HALL)
      & r_0078_0005__a_r_0078_0006__village_r_0078_0007__hall(R_0078_0005__A_R_0078_0006__VILLAGE_R_0078_0007__HALL)
      & has_r_0078_0008__on(R_0078_0005__A_R_0078_0006__VILLAGE_R_0078_0007__HALL,R_0078_0009__THE_R_0078_0010__BOSO_R_0078_0011__PENINSULA)
      & r_0078_0009__the_r_0078_0010__Boso_r_0078_0011__Peninsula(R_0078_0009__THE_R_0078_0010__BOSO_R_0078_0011__PENINSULA)
      & has_r_0078_0012__on(R_0078_0009__THE_R_0078_0010__BOSO_R_0078_0011__PENINSULA,R_0078_0013__THE_R_0078_0015__SIDE)
      & r_0078_0013__the_r_0078_0015__side(R_0078_0013__THE_R_0078_0015__SIDE)
      & has_r_0078_0016__of(R_0078_0013__THE_R_0078_0015__SIDE,R_0078_0017__TOKYO_R_0078_0018__BAY)
      & has_attrib36(R_0078_0013__THE_R_0078_0015__SIDE,R_0078_0014__FAR)
      & has_arg0(R_0078_0003__SITTING,R_0078_0001__I)
      & has_arg0(R_0078_0002__REMEMBER,R_0078_0001__I) ) ).


n78_a_stuck_japan n78_a_stuck_japan__1_1_1_1 I n78_a_stuck_japan__1_2_1 remember n78_a_stuck_japan__1_3_1_1 sitting n78_a_stuck_japan__1_3_2_1_1 in n78_a_stuck_japan__1_3_2_2_1_1 a n78_a_stuck_japan__1_3_2_2_2_1 village n78_a_stuck_japan__1_3_2_2_3_1 hall n78_a_stuck_japan__1_3_2_2_4_1_1 on n78_a_stuck_japan__1_3_2_2_4_2_1_1 the n78_a_stuck_japan__1_3_2_2_4_2_2_1 Boso n78_a_stuck_japan__1_3_2_2_4_2_3_1 Peninsula n78_a_stuck_japan__1_3_2_2_4_2_4_1_1 on n78_a_stuck_japan__1_3_2_2_4_2_4_2_1_1 the n78_a_stuck_japan__1_3_2_2_4_2_4_2_2_1_1 far n78_a_stuck_japan__1_3_2_2_4_2_4_2_3_1 side n78_a_stuck_japan__1_3_2_2_4_2_4_2_4_1_1 of n78_a_stuck_japan__1_3_2_2_4_2_4_2_4_2_1_1 Tokyo n78_a_stuck_japan__1_3_2_2_4_2_4_2_4_2_2_1 Bay n78_a_stuck_japan__1_4_1 . n78_a_stuck_japan__1 IP-MAT n78_a_stuck_japan__1_1 NP-SBJ n78_a_stuck_japan__1->n78_a_stuck_japan__1_1 n78_a_stuck_japan__1_2 VBP;_Tg_ n78_a_stuck_japan__1->n78_a_stuck_japan__1_2 n78_a_stuck_japan__1_3 IP-PPL-OB1 n78_a_stuck_japan__1->n78_a_stuck_japan__1_3 n78_a_stuck_japan__1_4 PUNC n78_a_stuck_japan__1->n78_a_stuck_japan__1_4 n78_a_stuck_japan__1_1_1 PRO n78_a_stuck_japan__1_1->n78_a_stuck_japan__1_1_1 n78_a_stuck_japan__1_1_1->n78_a_stuck_japan__1_1_1_1 n78_a_stuck_japan__1_2->n78_a_stuck_japan__1_2_1 n78_a_stuck_japan__1_3_1 VAG;_I_ n78_a_stuck_japan__1_3->n78_a_stuck_japan__1_3_1 n78_a_stuck_japan__1_3_2 PP-NIM n78_a_stuck_japan__1_3->n78_a_stuck_japan__1_3_2 n78_a_stuck_japan__1_3_1->n78_a_stuck_japan__1_3_1_1 n78_a_stuck_japan__1_3_2_1 P-ROLE n78_a_stuck_japan__1_3_2->n78_a_stuck_japan__1_3_2_1 n78_a_stuck_japan__1_3_2_2 NP n78_a_stuck_japan__1_3_2->n78_a_stuck_japan__1_3_2_2 n78_a_stuck_japan__1_3_2_1->n78_a_stuck_japan__1_3_2_1_1 n78_a_stuck_japan__1_3_2_2_1 D n78_a_stuck_japan__1_3_2_2->n78_a_stuck_japan__1_3_2_2_1 n78_a_stuck_japan__1_3_2_2_2 N n78_a_stuck_japan__1_3_2_2->n78_a_stuck_japan__1_3_2_2_2 n78_a_stuck_japan__1_3_2_2_3 N n78_a_stuck_japan__1_3_2_2->n78_a_stuck_japan__1_3_2_2_3 n78_a_stuck_japan__1_3_2_2_4 PP n78_a_stuck_japan__1_3_2_2->n78_a_stuck_japan__1_3_2_2_4 n78_a_stuck_japan__1_3_2_2_1->n78_a_stuck_japan__1_3_2_2_1_1 n78_a_stuck_japan__1_3_2_2_2->n78_a_stuck_japan__1_3_2_2_2_1 n78_a_stuck_japan__1_3_2_2_3->n78_a_stuck_japan__1_3_2_2_3_1 n78_a_stuck_japan__1_3_2_2_4_1 P-ROLE n78_a_stuck_japan__1_3_2_2_4->n78_a_stuck_japan__1_3_2_2_4_1 n78_a_stuck_japan__1_3_2_2_4_2 NP n78_a_stuck_japan__1_3_2_2_4->n78_a_stuck_japan__1_3_2_2_4_2 n78_a_stuck_japan__1_3_2_2_4_1->n78_a_stuck_japan__1_3_2_2_4_1_1 n78_a_stuck_japan__1_3_2_2_4_2_1 D n78_a_stuck_japan__1_3_2_2_4_2->n78_a_stuck_japan__1_3_2_2_4_2_1 n78_a_stuck_japan__1_3_2_2_4_2_2 NPR n78_a_stuck_japan__1_3_2_2_4_2->n78_a_stuck_japan__1_3_2_2_4_2_2 n78_a_stuck_japan__1_3_2_2_4_2_3 NPR n78_a_stuck_japan__1_3_2_2_4_2->n78_a_stuck_japan__1_3_2_2_4_2_3 n78_a_stuck_japan__1_3_2_2_4_2_4 PP n78_a_stuck_japan__1_3_2_2_4_2->n78_a_stuck_japan__1_3_2_2_4_2_4 n78_a_stuck_japan__1_3_2_2_4_2_1->n78_a_stuck_japan__1_3_2_2_4_2_1_1 n78_a_stuck_japan__1_3_2_2_4_2_2->n78_a_stuck_japan__1_3_2_2_4_2_2_1 n78_a_stuck_japan__1_3_2_2_4_2_3->n78_a_stuck_japan__1_3_2_2_4_2_3_1 n78_a_stuck_japan__1_3_2_2_4_2_4_1 P-ROLE n78_a_stuck_japan__1_3_2_2_4_2_4->n78_a_stuck_japan__1_3_2_2_4_2_4_1 n78_a_stuck_japan__1_3_2_2_4_2_4_2 NP n78_a_stuck_japan__1_3_2_2_4_2_4->n78_a_stuck_japan__1_3_2_2_4_2_4_2 n78_a_stuck_japan__1_3_2_2_4_2_4_1->n78_a_stuck_japan__1_3_2_2_4_2_4_1_1 n78_a_stuck_japan__1_3_2_2_4_2_4_2_1 D n78_a_stuck_japan__1_3_2_2_4_2_4_2->n78_a_stuck_japan__1_3_2_2_4_2_4_2_1 n78_a_stuck_japan__1_3_2_2_4_2_4_2_2 ADJP n78_a_stuck_japan__1_3_2_2_4_2_4_2->n78_a_stuck_japan__1_3_2_2_4_2_4_2_2 n78_a_stuck_japan__1_3_2_2_4_2_4_2_3 N n78_a_stuck_japan__1_3_2_2_4_2_4_2->n78_a_stuck_japan__1_3_2_2_4_2_4_2_3 n78_a_stuck_japan__1_3_2_2_4_2_4_2_4 PP n78_a_stuck_japan__1_3_2_2_4_2_4_2->n78_a_stuck_japan__1_3_2_2_4_2_4_2_4 n78_a_stuck_japan__1_3_2_2_4_2_4_2_1->n78_a_stuck_japan__1_3_2_2_4_2_4_2_1_1 n78_a_stuck_japan__1_3_2_2_4_2_4_2_2_1 ADJ n78_a_stuck_japan__1_3_2_2_4_2_4_2_2->n78_a_stuck_japan__1_3_2_2_4_2_4_2_2_1 n78_a_stuck_japan__1_3_2_2_4_2_4_2_2_1->n78_a_stuck_japan__1_3_2_2_4_2_4_2_2_1_1 n78_a_stuck_japan__1_3_2_2_4_2_4_2_3->n78_a_stuck_japan__1_3_2_2_4_2_4_2_3_1 n78_a_stuck_japan__1_3_2_2_4_2_4_2_4_1 P-ROLE n78_a_stuck_japan__1_3_2_2_4_2_4_2_4->n78_a_stuck_japan__1_3_2_2_4_2_4_2_4_1 n78_a_stuck_japan__1_3_2_2_4_2_4_2_4_2 NP n78_a_stuck_japan__1_3_2_2_4_2_4_2_4->n78_a_stuck_japan__1_3_2_2_4_2_4_2_4_2 n78_a_stuck_japan__1_3_2_2_4_2_4_2_4_1->n78_a_stuck_japan__1_3_2_2_4_2_4_2_4_1_1 n78_a_stuck_japan__1_3_2_2_4_2_4_2_4_2_1 NPR n78_a_stuck_japan__1_3_2_2_4_2_4_2_4_2->n78_a_stuck_japan__1_3_2_2_4_2_4_2_4_2_1 n78_a_stuck_japan__1_3_2_2_4_2_4_2_4_2_2 NPR n78_a_stuck_japan__1_3_2_2_4_2_4_2_4_2->n78_a_stuck_japan__1_3_2_2_4_2_4_2_4_2_2 n78_a_stuck_japan__1_3_2_2_4_2_4_2_4_2_1->n78_a_stuck_japan__1_3_2_2_4_2_4_2_4_2_1_1 n78_a_stuck_japan__1_3_2_2_4_2_4_2_4_2_2->n78_a_stuck_japan__1_3_2_2_4_2_4_2_4_2_2_1 n78_a_stuck_japan__1_4->n78_a_stuck_japan__1_4_1 
( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBP;_Tg_ remember;{remember})
          (IP-PPL-OB1 (VAG;_I_ sitting;{sit})
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D a;{a})
                                  (N village;{village})
                                  (N hall;{hall})
                                  (PP (P-ROLE on;{on})
                                      (NP (D the;{the})
                                          (NPR Boso;{Boso})
                                          (NPR Peninsula;{Peninsula})
                                          (PP (P-ROLE on;{on})
                                              (NP (D the;{the})
                                                  (ADJP (ADJ far;{far}))
                                                  (N side;{side})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (NPR Tokyo;{Tokyo})
                                                          (NPR Bay;{Bay}))))))))))
          (PUNC .))
  (ID 78_a_stuck_japan))