Section 8 - Dining hall door
The dining-hall door is a scenery door. The dining-hall door is east of Hotel lobby and west of the Dining hall. The dining-hall door is locked. The printed name of the dining-hall door is "door".
Check of opening the locked dining-hall door:
say "[We] try the doorknob, but the door is locked." instead.
Instead of pushing or pulling the dining-hall door:
try opening the dining-hall door.
Before opening the locked dining-hall door when the umbrella is attached:
say "[We] pull on the umbrella, but it comes loose.";
remove the umbrella. [1]
Note
[1]. "To remove the umbrella" phrase is defined with the umbrella.