In this example, a robot starts from the store, and only one of three doors d1, d2, d3 is open (but it is not known which one). By the CWA, the others are not open.
(robot_position) store )
(open_door d1) (open_door d2) (open_door d3)))
In this example, a random initial configuration of a stack is defined.
(forall (?e - element_no)
(unknown (element_value ?e))))