version 12 by Michael Callaghan
Section 1.12 - Define the door reclosing capability of the Patroller
ReclosingCapability is a kind of value. The ReclosingCapabilities are Leave and Reinstate.
[Leave The Patroller will not close a door after s/he has opened it.
Reinstate The Patroller will return the door to its previous state after passing through it.]
A Patroller has a ReclosingCapability. The ReclosingCapability of a Patroller is usually Leave.