// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 13조 (헬리포트 및 구조공간 설치 기준) 3항 7호 check(REFB_13_3_7){ KS } KS{ Space mySpace{ isObjectProperty(Space.isEscape) = TRUE } hasObject(mySpace, WarningAndCommunicationFacility) = TRUE }
Python Code 변환 예정