The following is the definition of a user-derived datatype which requires strings to have at least one character (i.e., the empty
string is not in the value space of this datatype).
<simpleType name='non-empty-string'›
<restriction base='string'>
<minLength value='1'/>
</restriction>
</simpleType›