10_a_hirodai_mission
Shinsaku Fukuda, M.D. President Hirosaki University
( (NP (NPR Shinsaku;{Shinsaku})
(NPR Fukuda;{Fukuda})
(PUNC ,)
(NPR M<dot>D<dot>)
(PRN (NP (N President;{president})
(PRN (NP (NPR Hirosaki;{Hirosaki})
(NPR University;{University}))))))
(ID 10_a_hirodai_mission))
arc(z_0010_5004,r_0010_0005__President,arg0).
arc(z_0010_5004,r_0010_0006__Hirosaki_r_0010_0007__University,prd).
arc(z_0010_5006,r_0010_0001__Shinsaku_r_0010_0002__Fukuda_r_0010_0004__M_dot_D_dot_,arg0).
arc(z_0010_5006,r_0010_0005__President,prd).
arc(z_0010_5008,r_0010_0001__Shinsaku_r_0010_0002__Fukuda_r_0010_0004__M_dot_D_dot_,z_0010_5002).
fof(formula,axiom,
? [R_0010_0005__PRESIDENT,R_0010_0006__HIROSAKI_R_0010_0007__UNIVERSITY,Z_0010_5004,R_0010_0001__SHINSAKU_R_0010_0002__FUKUDA_R_0010_0004__M_DOT_D_DOT_,Z_0010_5006,Z_0010_5008] :
( 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_0010_5008(Z_0010_5008)
& has_z_0010_5002(Z_0010_5008,R_0010_0001__SHINSAKU_R_0010_0002__FUKUDA_R_0010_0004__M_DOT_D_DOT_)
& z_0010_5006(Z_0010_5006)
& has_prd(Z_0010_5006,R_0010_0005__PRESIDENT)
& has_arg0(Z_0010_5006,R_0010_0001__SHINSAKU_R_0010_0002__FUKUDA_R_0010_0004__M_DOT_D_DOT_)
& z_0010_5004(Z_0010_5004)
& has_prd(Z_0010_5004,R_0010_0006__HIROSAKI_R_0010_0007__UNIVERSITY)
& has_arg0(Z_0010_5004,R_0010_0005__PRESIDENT) ) ).