structural:summarization
Many-sorted signatures

For many-sorted logic and for many-sorted structures, signatures must encode information about the sorts. The most straightforward way of doing this is via symbol types that play the role of generalized arities.