how many military persons have attended university of prague?
(COUNT (AND military.military_person (JOIN (R education.education.student) (JOIN education.education.institution m.09hgk))))