// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 3호 나목 check(REFB_30_0_3_나){ KS } KS{ Door myDoor{ isObjectProperty(Door.isEntrance) = TRUE } isObjectProperty(myDoor.isStrictFireproofDoor) = TRUE }
Python Code 변환 예정