29
Restriction, cont'd
n  Note first that
 (forename+,surname)
  <name>
   <forename>...</forename>
   <surname>...</surname>
  </name>
n    is a member of the new type, but
  <name>
   <title>...</title>
   <surname>...</surname>
  </name>
n   is not.