Assertion list
door (primary) → UsedFor
Results from Ascent++: 2
door → UsedFor → egress 0.52
door → UsedFor → exit 0.46