preconditions for the goal, as a set of strings. These are the conditions that must be true before the goal can be achieved.