 The theory of institutions is mainly applicable to software specification defined by multiple logical systems (see, for instance, Diaconescu and Futatsugi 2002). Thus, under an abstract view of software development, different components of the same program can be specified using different formalism in an heterogeneous setting. This is formalized by the use of institutions and morphisms between them (see, for instance, Tarlecki 2000). A problem concerning institution morphisms is that formulas involving connectives from different logics being combined are not allowed. A solution to this problem was proposed in Goguen and Burstall 1986 and Mossakowski 1996, by using the so-called parchments and parchment morphisms.