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.