3.3 Sentences

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