Context                Previous, Next                Top


3_a_ninjal_mission
KAGEYAMA Taro

n3_a_ninjal_mission n3_a_ninjal_mission__1_1_1 KAGEYAMA n3_a_ninjal_mission__1_2_1 Taro n3_a_ninjal_mission__1 NP n3_a_ninjal_mission__1_1 NPR n3_a_ninjal_mission__1->n3_a_ninjal_mission__1_1 n3_a_ninjal_mission__1_2 NPR n3_a_ninjal_mission__1->n3_a_ninjal_mission__1_2 n3_a_ninjal_mission__1_1->n3_a_ninjal_mission__1_1_1 n3_a_ninjal_mission__1_2->n3_a_ninjal_mission__1_2_1 
( (NP (NPR KAGEYAMA;{Kageyama})
      (NPR Taro;{Taro}))
  (ID 3_a_ninjal_mission))


%3 z_0003_5003 r_0003_0001__KAGEYAMA_r_0003_0002__Taro KAGEYAMA Taro z_0003_5003->r_0003_0001__KAGEYAMA_r_0003_0002__Taro 
arc(z_0003_5003,r_0003_0001__KAGEYAMA_r_0003_0002__Taro,z_0003_5002).


%3 z_0003_5003 r_0003_0001__KAGEYAMA_r_0003_0002__Taro KAGEYAMA Taro z_0003_5003->r_0003_0001__KAGEYAMA_r_0003_0002__Taro 
fof(formula,axiom,
    ? [R_0003_0001__KAGEYAMA_R_0003_0002__TARO,Z_0003_5003] :
      ( r_0003_0001__KAGEYAMA_r_0003_0002__Taro(R_0003_0001__KAGEYAMA_R_0003_0002__TARO)
      & z_0003_5003(Z_0003_5003)
      & has_z_0003_5002(Z_0003_5003,R_0003_0001__KAGEYAMA_R_0003_0002__TARO) ) ).