The part of a signature determined by the first BASIC-SPEC is hidden by the enclosing basic specification, giving the corresponding reducts of the models over the extended signature. The symbols declared by the first BASIC-SPEC are visible only in the second BASIC-SPEC. In other respects, the local basic specification corresponds to inserting all the BASIC-ITEMs from the two BASIC-SPECs in the enclosing list of basic items.LOCAL-BASIC-SPEC ::= local-basic-spec BASIC-SPEC BASIC-SPEC