28
Restriction, cont'd
n Similarly,
  (forename+,surname)
n is a restriction of the original type definition for
name
 (title?,forename*,surname)
n and the same relation holds.