Up: Corpus of Examples
Back: Doors
Next: Block dropped on the ground.
E.1: A hinged door is bolted shut on the inside with a deadbolt. That is, there are U-shaped frames in aligned positions on the door and the wall, and a solid bar is placed in this frame.
(Note that there are cases: the door opens inwards, the door opens outwards, the door swings both ways. All of the following inferences work in all cases, unless otherwise specified.)
E.1.a: An agent on the inside can open the door by lifting the deadbolt Deterministic,
E.1.b: An agent on the outside generally cannot open the door.
E.1.c: An agent on the outside may be able to open the door by sliding
a tool through the doorframe and thus manipulating the deadbolt.
E.1.c.i: He can hold the deadbolt out of the way, if it is possible
for the door to be opened with the tool in place.
E.1.c.ii: He can fling the deadbolt out of the way if the deadbolt can
move freely to a stable open position.
E.1.c.iii. No such tool can be used if the frame of the door blocks
access through the gap.
E.1.d: It is possible, though unlikely, that an agent on the outside can dislodge the deadbolt by banging hard on the door.
E.2: Hinged deadbolt into U-shaped holder
E.2.a: Hinged deadbolt onto shelf.
E.2.b: Lever knob through hole in door holds bolt out of the way.
E.3: Upside down U-shaped holder. (Works poorly; easily dislodged.)
E.4: Sliding deadbolt in O-shaped holder.
E.4.a: Sliding deadbolt held in place by knob.
E.4.b: Vertical deadbolt: locked down.
E.4.c: Vertical deadbolt: locked up.
E.5: Hook and eye.
E.6: Misaligned U-frame.
E.7: Frame too small for bolt.
E.8: Deadbolt on shelves: Does not work.
E.9: Deadbolts on both sides of door.
E.10: Multiple deadbolts on one side of door.
E.11: Block door by pushing bureau in front of it.
E.12: Block door with wedge.