Subsorted Sentences

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^#.