This section provides the abstract syntax and determines the intended interpretation of the constructs on subsorted basic specifications, extending what was provided for many-sorted specifications in a preceding section.
A well-formed subsorted basic specification BASIC-SPEC of the CASL language determines a basic specification of the underlying subsorted institution, consisting of a subsorted signature and a set of sentences of the form described in the preceding section. The models of this signature and set of sentences provide the semantics of the basic specification.