1. 비상탈출구의 유효너비는 0.75미터 이상으로 하고, 유효높이는 1.5미터 이상으로 할 것
//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 25조 (지하층의 구조) 2항 1호
check(REFB_25_2_1){
Door myDoor{
Door.functionType = "Emergency"
Door.Floor.number < 0
}
getObjectWidth(myDoor, a) >= 0.75 m
getObjectHeight(myDoor) >= 1.5 m
}