ADMINISTRATIVE CATEGORY IN SPELL

Each ADMINISTRATIVE CATEGORY IN SPELL
K must be related to one and only one HOSPITAL PROVIDER SPELL
must be the provider of one and only one SERVICE