[Om3] [OpenMath] #150: CD-level properties (CMP and FMP)

[OpenMath]

#150: CD-level properties (CMP and FMP)
-------------------------------------+-------------------------------------
    Reporter:  lars_h                |                  Owner:  kohlhase
        Type:  SEP (Standard         |                 Status:  new
  Enhancement Proposal)              |              Milestone:  OM2+OCD/MD
    Priority:  major                 |                Version:
   Component:  CD3 Format            |               Keywords:
  Resolution:                        |               Blocking:
  Blocked By:                        |          Due to assign:  YYYY/MM/DD
Dependencies:                        |  Include in GanttChart:  0
Due to close:  YYYY/MM/DD            |
-------------------------------------+-------------------------------------

Comment (by clange):

 I support the idea of having CD-level CMPs and FMPs.  Here, again, pairs
 of related CMPs/FMPs should be grouped into a common container as
 suggested in #140.

 Regarding properties specific to more than one CD I would take it easy, as
 we wouldn't want to reinvent OMDoc and its theory graphs.  IMHO it's fine
 to state properties that relate symbols from multiple CDs in either of the
 affected CDs, or even in a ''different'' CD.

-- 
Ticket URL: <https://trac.mathweb.org/OM3/ticket/150#comment:1>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.