version 12 by Michael Callaghan
Chapter 1 - Define a Patroller
Section 1.1 - The Patroller Kind
A Patroller is a kind of person.
The specification of a Patroller is "Represents a non-player character whose movements we can control by setting out the character's route (specifying rooms to visit or directions to follow) or who can move randomly between rooms, to a specific destination or who can shadow the player's movements."