how many military personnel attended tribhuvan university?
(COUNT (AND military.military_person (JOIN (R education.education.student) (JOIN education.education.institution m.04kg8_))))