// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항4호 check(REFB_8-2_3_4){ Elevator myElevator{ isObjectProperty(Elevator.isEmergency)=TRUE } isDirectlyAccessible(myZone, myElevator)=TRUE }
Python Code 변환 예정