Context                Previous, Next                Top


17_a_kyoto_1
He entered nearby Hofuku-ji Temple (Soja City) while young.

%3 r_0017_0002__entered entered r_0017_0001__He He r_0017_0002__entered->r_0017_0001__He [arg0] r_0017_0004__Hofuku__hyphen__ji_r_0017_0005__Temple Hofuku-ji Temple r_0017_0002__entered->r_0017_0004__Hofuku__hyphen__ji_r_0017_0005__Temple [arg1] r_0017_0003__nearby nearby r_0017_0004__Hofuku__hyphen__ji_r_0017_0005__Temple->r_0017_0003__nearby [attrib] r_0017_0010__while while r_0017_0010__while->r_0017_0002__entered [scope] z_000_17_a_kyoto_1_28 r_0017_0010__while->z_000_17_a_kyoto_1_28 [restriction] z_000_17_a_kyoto_1_28->r_0017_0001__He [arg0] r_0017_0011__young young z_000_17_a_kyoto_1_28->r_0017_0011__young [prd] z_000_17_a_kyoto_1_17 z_000_17_a_kyoto_1_17->r_0017_0004__Hofuku__hyphen__ji_r_0017_0005__Temple [arg0] r_0017_0007__Soja_r_0017_0008__City Soja City z_000_17_a_kyoto_1_17->r_0017_0007__Soja_r_0017_0008__City [prd] 
arc(r_0017_0002__entered, r_0017_0001__He, arg0).
arc(r_0017_0002__entered, r_0017_0004__Hofuku__hyphen__ji_r_0017_0005__Temple, arg1).
arc(r_0017_0004__Hofuku__hyphen__ji_r_0017_0005__Temple, r_0017_0003__nearby, attrib8).
arc(r_0017_0010__while, r_0017_0002__entered, scope).
arc(r_0017_0010__while, z_000_17_a_kyoto_1_28, restriction).
arc(z_000_17_a_kyoto_1_17, r_0017_0004__Hofuku__hyphen__ji_r_0017_0005__Temple, arg0).
arc(z_000_17_a_kyoto_1_17, r_0017_0007__Soja_r_0017_0008__City, prd).
arc(z_000_17_a_kyoto_1_28, r_0017_0001__He, arg0).
arc(z_000_17_a_kyoto_1_28, r_0017_0011__young, prd).


%3 z_000_17_a_kyoto_1_28 r_0017_0011__young young z_000_17_a_kyoto_1_28->r_0017_0011__young [prd] r_0017_0001__He He z_000_17_a_kyoto_1_28->r_0017_0001__He [arg0] z_000_17_a_kyoto_1_17 r_0017_0007__Soja_r_0017_0008__City Soja City z_000_17_a_kyoto_1_17->r_0017_0007__Soja_r_0017_0008__City [prd] r_0017_0004__Hofuku__hyphen__ji_r_0017_0005__Temple Hofuku-ji Temple z_000_17_a_kyoto_1_17->r_0017_0004__Hofuku__hyphen__ji_r_0017_0005__Temple [arg0] r_0017_0003__nearby nearby r_0017_0004__Hofuku__hyphen__ji_r_0017_0005__Temple->r_0017_0003__nearby [attrib] r_0017_0010__while while r_0017_0010__while->z_000_17_a_kyoto_1_28 [conj1] r_0017_0002__entered entered r_0017_0010__while->r_0017_0002__entered [conj2] r_0017_0002__entered->r_0017_0001__He [arg0] r_0017_0002__entered->r_0017_0004__Hofuku__hyphen__ji_r_0017_0005__Temple [arg1] 
fof(formula,axiom,
    ? [R_17_10_WHILE,Z_17_A_KYOTO_1_28,R_17_11_YOUNG,R_17_2_ENTERED,R_17_1_HE,Z_17_A_KYOTO_1_17,R_17_4_HOFUKU_HYPHEN_JI_TEMPLE,R_17_3_NEARBY,R_17_7_SOJA_CITY] :
      ( young(R_17_11_YOUNG)
      & he(R_17_1_HE)
      & nearby(R_17_3_NEARBY)
      & soja_City(R_17_7_SOJA_CITY)
      & while(R_17_10_WHILE)
      & conj1(R_17_10_WHILE,Z_17_A_KYOTO_1_28)
      & z_17_a_kyoto_1_28(Z_17_A_KYOTO_1_28,R_17_1_HE,R_17_11_YOUNG)
      & conj2(R_17_10_WHILE,R_17_2_ENTERED)
      & entered(R_17_2_ENTERED,R_17_1_HE,R_17_4_HOFUKU_HYPHEN_JI_TEMPLE)
      & hofuku_hyphen_ji_Temple(R_17_4_HOFUKU_HYPHEN_JI_TEMPLE)
      & attrib8(R_17_4_HOFUKU_HYPHEN_JI_TEMPLE,R_17_3_NEARBY)
      & z_17_a_kyoto_1_17(Z_17_A_KYOTO_1_17,R_17_4_HOFUKU_HYPHEN_JI_TEMPLE,R_17_7_SOJA_CITY) ) ).


n17_a_kyoto_1 n17_a_kyoto_1__1_1_1_1 He n17_a_kyoto_1__1_2_1 entered n17_a_kyoto_1__1_3_1_1_1 nearby n17_a_kyoto_1__1_3_2_1 Hofuku-ji n17_a_kyoto_1__1_3_3_1 Temple n17_a_kyoto_1__1_3_4_1 -LRB- n17_a_kyoto_1__1_3_5_1_1_1 Soja n17_a_kyoto_1__1_3_5_1_2_1 City n17_a_kyoto_1__1_3_6_1 -RRB- n17_a_kyoto_1__1_4_1_1 while n17_a_kyoto_1__1_4_2_1_1_1 young n17_a_kyoto_1__1_5_1 . n17_a_kyoto_1__1 IP-MAT n17_a_kyoto_1__1_1 NP-SBJ n17_a_kyoto_1__1->n17_a_kyoto_1__1_1 n17_a_kyoto_1__1_2 VBD;_Tn_ n17_a_kyoto_1__1->n17_a_kyoto_1__1_2 n17_a_kyoto_1__1_3 NP-OB1 n17_a_kyoto_1__1->n17_a_kyoto_1__1_3 n17_a_kyoto_1__1_4 PP-SCON n17_a_kyoto_1__1->n17_a_kyoto_1__1_4 n17_a_kyoto_1__1_5 PUNC n17_a_kyoto_1__1->n17_a_kyoto_1__1_5 n17_a_kyoto_1__1_1_1 PRO n17_a_kyoto_1__1_1->n17_a_kyoto_1__1_1_1 n17_a_kyoto_1__1_1_1->n17_a_kyoto_1__1_1_1_1 n17_a_kyoto_1__1_2->n17_a_kyoto_1__1_2_1 n17_a_kyoto_1__1_3_1 ADJP n17_a_kyoto_1__1_3->n17_a_kyoto_1__1_3_1 n17_a_kyoto_1__1_3_2 NPR n17_a_kyoto_1__1_3->n17_a_kyoto_1__1_3_2 n17_a_kyoto_1__1_3_3 NPR n17_a_kyoto_1__1_3->n17_a_kyoto_1__1_3_3 n17_a_kyoto_1__1_3_4 PULB n17_a_kyoto_1__1_3->n17_a_kyoto_1__1_3_4 n17_a_kyoto_1__1_3_5 IP-PPL n17_a_kyoto_1__1_3->n17_a_kyoto_1__1_3_5 n17_a_kyoto_1__1_3_6 PURB n17_a_kyoto_1__1_3->n17_a_kyoto_1__1_3_6 n17_a_kyoto_1__1_3_1_1 ADJ n17_a_kyoto_1__1_3_1->n17_a_kyoto_1__1_3_1_1 n17_a_kyoto_1__1_3_1_1->n17_a_kyoto_1__1_3_1_1_1 n17_a_kyoto_1__1_3_2->n17_a_kyoto_1__1_3_2_1 n17_a_kyoto_1__1_3_3->n17_a_kyoto_1__1_3_3_1 n17_a_kyoto_1__1_3_4->n17_a_kyoto_1__1_3_4_1 n17_a_kyoto_1__1_3_5_1 NP-PRD n17_a_kyoto_1__1_3_5->n17_a_kyoto_1__1_3_5_1 n17_a_kyoto_1__1_3_5_1_1 NPR n17_a_kyoto_1__1_3_5_1->n17_a_kyoto_1__1_3_5_1_1 n17_a_kyoto_1__1_3_5_1_2 NPR n17_a_kyoto_1__1_3_5_1->n17_a_kyoto_1__1_3_5_1_2 n17_a_kyoto_1__1_3_5_1_1->n17_a_kyoto_1__1_3_5_1_1_1 n17_a_kyoto_1__1_3_5_1_2->n17_a_kyoto_1__1_3_5_1_2_1 n17_a_kyoto_1__1_3_6->n17_a_kyoto_1__1_3_6_1 n17_a_kyoto_1__1_4_1 P-CONN n17_a_kyoto_1__1_4->n17_a_kyoto_1__1_4_1 n17_a_kyoto_1__1_4_2 IP-PPL2 n17_a_kyoto_1__1_4->n17_a_kyoto_1__1_4_2 n17_a_kyoto_1__1_4_1->n17_a_kyoto_1__1_4_1_1 n17_a_kyoto_1__1_4_2_1 ADJP-PRD n17_a_kyoto_1__1_4_2->n17_a_kyoto_1__1_4_2_1 n17_a_kyoto_1__1_4_2_1_1 ADJ n17_a_kyoto_1__1_4_2_1->n17_a_kyoto_1__1_4_2_1_1 n17_a_kyoto_1__1_4_2_1_1->n17_a_kyoto_1__1_4_2_1_1_1 n17_a_kyoto_1__1_5->n17_a_kyoto_1__1_5_1 
( (IP-MAT (NP-SBJ;{SESSHU} (PRO He;{he}))
          (VBD;_Tn_ entered;{enter})
          (NP-OB1 (ADJP (ADJ nearby;{nearby}))
                  (NPR Hofuku_<hyphen>_ji;{Hofuku_ji})
                  (NPR Temple;{Temple})
                  (PULB -LRB-)
                  (IP-PPL (NP-PRD (NPR Soja;{Soja})
                                  (NPR City;{City})))
                  (PURB -RRB-))
          (PP-SCON (P-CONN while;{while})
                   (IP-PPL2 (ADJP-PRD (ADJ young;{young}))))
          (PUNC .))
  (ID 17_a_kyoto_1;BDS_00001;17))