//건축법 시행령 40조 (옥상광장 등의 설치) 3항 2호
Check(EDBA_40_3_2){
IF (CS) THEN KS
}
CS{
getObjectProperty(Roof.shapeType) = “PitchedRoof ”
}
KS{
Space mySpace{
Space.isEscape = TRUE
}
isExist(mySpace) = True
getObjectProperty(mySpace.Roof.shapeType) = “PitchedRoof”
getResult(REFB_13_3)=True
}
|