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 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 [conj2] z_000_17_a_kyoto_1_28 r_0017_0010__while->z_000_17_a_kyoto_1_28 [conj1] 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] 
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_4 He n17_a_kyoto_1_6 entered n17_a_kyoto_1_10 nearby n17_a_kyoto_1_12 Hofuku-ji n17_a_kyoto_1_14 Temple n17_a_kyoto_1_16 -LRB- n17_a_kyoto_1_20 Soja n17_a_kyoto_1_22 City n17_a_kyoto_1_24 -RRB- n17_a_kyoto_1_27 while n17_a_kyoto_1_31 young n17_a_kyoto_1_33 . n17_a_kyoto_1_1 IP-MAT n17_a_kyoto_1_2 NP-SBJ n17_a_kyoto_1_1->n17_a_kyoto_1_2 n17_a_kyoto_1_5 VBD;_Tn_ n17_a_kyoto_1_1->n17_a_kyoto_1_5 n17_a_kyoto_1_7 NP-OB1 n17_a_kyoto_1_1->n17_a_kyoto_1_7 n17_a_kyoto_1_25 PP-SCON n17_a_kyoto_1_1->n17_a_kyoto_1_25 n17_a_kyoto_1_32 PUNC n17_a_kyoto_1_1->n17_a_kyoto_1_32 n17_a_kyoto_1_3 PRO n17_a_kyoto_1_2->n17_a_kyoto_1_3 n17_a_kyoto_1_3->n17_a_kyoto_1_4 n17_a_kyoto_1_5->n17_a_kyoto_1_6 n17_a_kyoto_1_8 ADJP n17_a_kyoto_1_7->n17_a_kyoto_1_8 n17_a_kyoto_1_11 NPR n17_a_kyoto_1_7->n17_a_kyoto_1_11 n17_a_kyoto_1_13 NPR n17_a_kyoto_1_7->n17_a_kyoto_1_13 n17_a_kyoto_1_15 PULB n17_a_kyoto_1_7->n17_a_kyoto_1_15 n17_a_kyoto_1_17 IP-PPL n17_a_kyoto_1_7->n17_a_kyoto_1_17 n17_a_kyoto_1_23 PURB n17_a_kyoto_1_7->n17_a_kyoto_1_23 n17_a_kyoto_1_9 ADJ n17_a_kyoto_1_8->n17_a_kyoto_1_9 n17_a_kyoto_1_9->n17_a_kyoto_1_10 n17_a_kyoto_1_11->n17_a_kyoto_1_12 n17_a_kyoto_1_13->n17_a_kyoto_1_14 n17_a_kyoto_1_15->n17_a_kyoto_1_16 n17_a_kyoto_1_18 NP-PRD n17_a_kyoto_1_17->n17_a_kyoto_1_18 n17_a_kyoto_1_19 NPR n17_a_kyoto_1_18->n17_a_kyoto_1_19 n17_a_kyoto_1_21 NPR n17_a_kyoto_1_18->n17_a_kyoto_1_21 n17_a_kyoto_1_19->n17_a_kyoto_1_20 n17_a_kyoto_1_21->n17_a_kyoto_1_22 n17_a_kyoto_1_23->n17_a_kyoto_1_24 n17_a_kyoto_1_26 P-CONN n17_a_kyoto_1_25->n17_a_kyoto_1_26 n17_a_kyoto_1_28 IP-PPL2 n17_a_kyoto_1_25->n17_a_kyoto_1_28 n17_a_kyoto_1_26->n17_a_kyoto_1_27 n17_a_kyoto_1_29 ADJP-PRD n17_a_kyoto_1_28->n17_a_kyoto_1_29 n17_a_kyoto_1_30 ADJ n17_a_kyoto_1_29->n17_a_kyoto_1_30 n17_a_kyoto_1_30->n17_a_kyoto_1_31 n17_a_kyoto_1_32->n17_a_kyoto_1_33 
( (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))