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,
? [R_0010_0001__SHINSAKU_R_0010_0002__FUKUDA_R_0010_0004__M_DOT_D_DOT_,Z_000_10_A_HIRODAI_MISSION_1,R_0010_0005__PRESIDENT,Z_000_10_A_HIRODAI_MISSION_11,R_0010_0006__HIROSAKI_R_0010_0007__UNIVERSITY,Z_000_10_A_HIRODAI_MISSION_15] :
( r_0010_0001__Shinsaku_r_0010_0002__Fukuda_r_0010_0004__M_dot_D_dot_(R_0010_0001__SHINSAKU_R_0010_0002__FUKUDA_R_0010_0004__M_DOT_D_DOT_)
& r_0010_0005__President(R_0010_0005__PRESIDENT)
& r_0010_0006__Hirosaki_r_0010_0007__University(R_0010_0006__HIROSAKI_R_0010_0007__UNIVERSITY)
& z_000_10_a_hirodai_mission_15(Z_000_10_A_HIRODAI_MISSION_15)
& has_prd(Z_000_10_A_HIRODAI_MISSION_15,R_0010_0006__HIROSAKI_R_0010_0007__UNIVERSITY)
& has_arg0(Z_000_10_A_HIRODAI_MISSION_15,R_0010_0005__PRESIDENT)
& z_000_10_a_hirodai_mission_11(Z_000_10_A_HIRODAI_MISSION_11)
& has_prd(Z_000_10_A_HIRODAI_MISSION_11,R_0010_0005__PRESIDENT)
& has_arg0(Z_000_10_A_HIRODAI_MISSION_11,R_0010_0001__SHINSAKU_R_0010_0002__FUKUDA_R_0010_0004__M_DOT_D_DOT_)
& z_000_10_a_hirodai_mission_1(Z_000_10_A_HIRODAI_MISSION_1)
& has_nim2(Z_000_10_A_HIRODAI_MISSION_1,R_0010_0001__SHINSAKU_R_0010_0002__FUKUDA_R_0010_0004__M_DOT_D_DOT_) ) ).
( (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))