All schools are educational institutions. Some colleges are educational institutions. Normally, we would also have to place lowercase x's, connected by a line, in the two areas where schools and educational institutions overlap, since this is an assumption that the first premise commits us to. Here, however, since the second premise already commits us not only to the existence of some colleges, but also to existence of some schools, this is unnecessary. Clearly, our diagram shows that the argument is valid on the classical view.
All schools are educational institutions.
No schools are bars. Some bars are not educational institutions. As we suggested in the last example, we begin by representing the premises just as we would if we were adopting the modern view of syllogisms. Doing this, we get. . . . All schools are educational institutions.