Different readings in Solution 8.1.2?
It feels more natural if the second “conjunction” (\sqcap) was a \sqsubseteq? The students might be registered for things that are not courses.
Indeed, the natural language is ambiguous here, leading to two possible ways to formalize it in ALC.