how many military persons have attended university of california at santa cruz?
(COUNT (AND military.military_person (JOIN (R education.education.student) (JOIN education.education.institution m.07vhb))))