For a subsorted signature Sigma, the subsorted sentences are the ordinary many-sorted sentences (as defined in Chapter 1) for the associated many-sorted signature Sigma#.
