Problem

1. Go back to the PN of Is it incomplete? Is it inconsistent? Why?

2. Describe, in both an operational style and a descriptive style, the following problem (not its solution!): A farmer has to carry a goat, a cabbage, and a wolf from one side of a river to the other side. She has a boat to do so, but the boat cannot carry more than three items, whether farmer, goat, cabbage, or wolf. If she leaves both the goat and the cabbage on the same side of the river or in the boat without being present, the goat will eat the cabbage. Similarly, the wolf will eat the goat if left unattended. Compare the two specifications from several points of view.