3. Properties of situations

At this point, we have learned how to represent a "situation". However, this by itself is not all that useful: we want a way to distinguish good situations from bad situations. In IDP-Z3, we can express a set of formulas in the theory to do just that!

In the following sections, we will go over the process of writing formulas in FO(·).