30
Extension
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.