The rulebook can be expressed in human-readable and machine-readable formats.