xml-dev - simple DTD question

[Michael Fitzgerald <mike@wyeast.net>]

Given the declaration:

<!ATTLIST el-name at-name (val-name) #IMPLIED>

is val-name the default of at-name? It is a shortened version of:

<!ATTLIST el-name at-name (val-name) "val-name">

More commonly:

<!ATTLIST el-name at-name (val-name1 | val-name2 | val-name3) "val-name1">

The construct is in the cXML dtd.

Thanks for any help...

Mike