[relaxng-user] jing: error: conflicting ID-types

[David Carlisle]

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:-)

David

________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________