In the document various typographical conventions are used to represent sets, set relationships, and other mathematical notations. These may not be the most elegant typographical conventions, but they should be renderable by just about all HTML browsers. There currently is no unique name assumption. A method for asserting the equality and inequality of individuals would be helpful. The semantics is specified via mappings from syntactic structures to constraints on semantic structures.
Some mappings require the presence of several triples.
First we include a few redundant mappings. The semantic constraints rising from these mapping follow from the setup of the semantic structure above and from the definitions in the syntax document, but are included here for emphasis.