how many institutions of type universty are there among the colleges/universities?
(COUNT (AND education.university (JOIN (R organization.organization_type.organizations_of_this_type) m.07tf8)))