//건축법 시행령 35조 (피난계단의 설치) 3항
check(EDBA_35_3){
IF (CS) THEN KS
CS{
getResult(EDBA_35_1) = TRUE
Floor myFloor {
Floor.usage = “CommercialFacility”
}
Stair myStair{
isObjectProperty(Stair.isDirect) = TRUE
}
isAccessible(myFloor, myStair) = TRUE
}
KS{
isObjectProperty(one.myStair.isSpecialEscape) = TRUE
}
|
Python Code 변환 예정
|