Context                Previous, Next                Top


3_a_ninjal_mission
KAGEYAMA Taro

%3 z_000_3_a_ninjal_mission_1 r_0003_0001__KAGEYAMA_r_0003_0002__Taro KAGEYAMA Taro z_000_3_a_ninjal_mission_1->r_0003_0001__KAGEYAMA_r_0003_0002__Taro [nim] 
arc(z_000_3_a_ninjal_mission_1, r_0003_0001__KAGEYAMA_r_0003_0002__Taro, nim2).


%3 z_000_3_a_ninjal_mission_1 r_0003_0001__KAGEYAMA_r_0003_0002__Taro KAGEYAMA Taro z_000_3_a_ninjal_mission_1->r_0003_0001__KAGEYAMA_r_0003_0002__Taro [nim] 
fof(formula,axiom,
    ? [Z_3_A_NINJAL_MISSION_1,R_3_1_KAGEYAMA_TARO] :
      ( kAGEYAMA_Taro(R_3_1_KAGEYAMA_TARO)
      & z_3_a_ninjal_mission_1(Z_3_A_NINJAL_MISSION_1)
      & nim2(Z_3_A_NINJAL_MISSION_1,R_3_1_KAGEYAMA_TARO) ) ).


n3_a_ninjal_mission n3_a_ninjal_mission_4 KAGEYAMA n3_a_ninjal_mission_6 Taro n3_a_ninjal_mission_1 FRAG n3_a_ninjal_mission_2 NP n3_a_ninjal_mission_1->n3_a_ninjal_mission_2 n3_a_ninjal_mission_3 NPR n3_a_ninjal_mission_2->n3_a_ninjal_mission_3 n3_a_ninjal_mission_5 NPR n3_a_ninjal_mission_2->n3_a_ninjal_mission_5 n3_a_ninjal_mission_3->n3_a_ninjal_mission_4 n3_a_ninjal_mission_5->n3_a_ninjal_mission_6 
( (FRAG (NP (NPR KAGEYAMA;{Kageyama})
            (NPR Taro;{Taro})))
  (ID 3_a_ninjal_mission))