Question: How do I derive the Functional Syntax grammar from the Diagrams?

Hi!

After the Metamodel session at F2F3, I am still confused about one point:
How is it possible to automatically generate the Functional Syntax grammar
from the diagrams? IIRC, it has been claimed that this will be possible.

Take for example class assertions, which have the following grammar 
according to sec. 8.5.3 of the Syntax document:

  ClassAssertion := 'ClassAssertion' '(' { Annotation } ClassExpression Individual ')'

One must not change the ordering of the arguments in a class assertion,
because this would swap a class expression and an individual. 

However, the respective diagram at the beginning of sec. 8.5 [1] 
does not contain such ordering information for ClassAssertion. 
And I do not know how it is possible to specify such a ordering in UML,
at least for situations, where different types are involved 
(classes and individuals in our case).

Any ideas?

Michael

[1] <http://www.w3.org/2007/OWL/wiki/Syntax#Class_Assertions>

--
Dipl.-Inform. Michael Schneider
FZI Forschungszentrum Informatik Karlsruhe
Abtl. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: Michael.Schneider@fzi.de
Web  : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555

FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts
Az: 14-0563.1 Regierungspräsidium Karlsruhe
Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus