10_a_hirodai_mission
Shinsaku Fukuda, M.D. President Hirosaki University
arc(z_000_10_a_hirodai_mission_1, r_0010_0001__Shinsaku_r_0010_0002__Fukuda_r_0010_0004__M_dot_D_dot_, nim2).
arc(z_000_10_a_hirodai_mission_11, r_0010_0001__Shinsaku_r_0010_0002__Fukuda_r_0010_0004__M_dot_D_dot_, arg0).
arc(z_000_10_a_hirodai_mission_11, r_0010_0005__President, prd).
arc(z_000_10_a_hirodai_mission_15, r_0010_0005__President, arg0).
arc(z_000_10_a_hirodai_mission_15, r_0010_0006__Hirosaki_r_0010_0007__University, prd).
fof(formula,axiom,
? [Z_10_A_HIRODAI_MISSION_1,Z_10_A_HIRODAI_MISSION_11,R_10_1_SHINSAKU_FUKUDA_M_DOT_D_DOT_,Z_10_A_HIRODAI_MISSION_15,R_10_5_PRESIDENT,R_10_6_HIROSAKI_UNIVERSITY] :
( shinsaku_Fukuda_M_dot_D_dot_(R_10_1_SHINSAKU_FUKUDA_M_DOT_D_DOT_)
& president(R_10_5_PRESIDENT)
& hirosaki_University(R_10_6_HIROSAKI_UNIVERSITY)
& z_10_a_hirodai_mission_1(Z_10_A_HIRODAI_MISSION_1)
& nim2(Z_10_A_HIRODAI_MISSION_1,R_10_1_SHINSAKU_FUKUDA_M_DOT_D_DOT_)
& z_10_a_hirodai_mission_11(Z_10_A_HIRODAI_MISSION_11,R_10_1_SHINSAKU_FUKUDA_M_DOT_D_DOT_,R_10_5_PRESIDENT)
& z_10_a_hirodai_mission_15(Z_10_A_HIRODAI_MISSION_15,R_10_5_PRESIDENT,R_10_6_HIROSAKI_UNIVERSITY) ) ).
( (FRAG (NP (NPR Shinsaku;{Shinsaku})
(NPR Fukuda;{Fukuda})
(PUNC ,)
(NPR M<dot>D<dot>)
(IP-PPL (NP-PRD (N President;{president})
(IP-PPL (NP-PRD (NPR Hirosaki;{Hirosaki})
(NPR University;{University})))))))
(ID 10_a_hirodai_mission))