Section - Getting Bored
Getting bored is an action applying to one thing. Before getting bored when Finishing-The-Prologue is complete: if conversation is being debugged, say "// Conversation: before getting bored post-conversation processing [noun]."; post-conversation processing. [ An NPC gets bored if the player has not spoken for several turns. ] [ we don't use silently saying farewell because that would print a duplicate farewell message.]
Carry out getting bored: say "'Well, I've got to get back to this,' [the random other person in the location] says.".
A person has a number called the boredom counter. The boredom counter of a person is usually 0.