SPECTRA — Consolidate Annex B SPECTRA Core Assertions in a separate document

Currently each submission volume (CA, CSV, SV1, SV2) has an Annex B SPECTRA Core Assertions describing the semantic foundation for SPECTRA CA as Prolog clauses. In CA this section is called Annex A. This content shall not be duplicated, and shall be consolidated in a separate volume. An alternative is to keep this as part of the CA document. A separate volume is justified since this is advanced concept intended to support semantic formulations in other volumes. CA volume is intended for implementers of the json compliance points and does not require knowledge of Prolog.