From the discussion at https://twitter.com/dannysullivan/status/1248363322912563205

For some reason, educational organizations (universities, elementary schools, etc) are listed under Organization but are not under CivicStructure. It is strange to not consider these physical places as well.

I propose adding CivicStructure as a supertype of EducationalOrganization in addition the the existing Organization. This is similar to the pattern for LocalBusiness.