Step 3 - Model constraints:
Enable machine-enforced type checking.
Enable type inferencing.
If it has a
personnel:HealthCarePackage
it must be a
personnel:Person
.
Eric Prud'hommeaux
10 of 23
