Domeinmodellering/2010-11/Assignments/Opdracht04-A02

This is the 2nd lecture of Block A: Modeling and Reasoning.

In the first lecture we have seen the basic modeling technique being used. This enables us to describe the elementary sentences of the universe of discourse (uod). However, it may be possible to form sentences that do not make sense in the uod.

In this lecture we will see how constraints are used to restrict the forming of concrete sentences.