//건축법 시행령 46조 (방화구획의 설치) 4항 1호 check(EDBA_46_4_1){ KS } KS{ Space mySpace{ isObjectProperty(Space.isEscape) = TRUE } isConnectedToExternal(mySpace)=TRUE }
Python Code 변환 예정