Re: jing: error: conflicting ID-types

David Carlisle wrote:
> Just to tie up this thread, unless anyone has any better suggestions I'm
> planning to use this
> 
>     default namespace om  = "http://www.openmath.org/OpenMath"
>     
>     start = y
>     
>     x = element x { attlist.om, (om|notom)* }
>     
>     y = element y { attlist.om, (x | y)* }
>     
>     attlist.om = attribute id { xsd:ID }?
>     
>     
>     om = (x|y)
>     
>     notom =
>       (element * - om:* {
>          attribute * { text }*,
>          notom
>        }
>        | text)
>     
> 
> 
> Which I believe says that both OpenMath elements take an attribute id of
> type ID and the content of x can be any non OpenMath element
> or valid OpenMath. Which is of course what I really wanted to say all
> along:-)

Don't you want non-OpenMath elements to be able to contain valid 
OpenMath elements as descendants?  In any case, don't you want a * on 
the reference to notom in the definition of notom?

James