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