|
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
n |
Now consider
|
|
|
|
(title?, forename*, surname,
|
|
|
genMark?)
|
|
|
n |
This type extends the original type
definition
|
|
for name.
|
|
|
|
<name>
|
|
|
<forename>Al</forename>
|
|
|
<surname>Gore</surname>
|
|
|
<genMark>Jr</genMark>
|
|
|
</name>
|
|
|
n |
is an
instance of this new type, but not of the
|
|
|
original.
|
|
|
|