//건축법 시행령 40조 (옥상광장 등의 설치) 1항

check(EDBA_40_1){

     IF (CS) THEN KS

}



CS{

     Space myBalcony {

          getSpace(“Balconly”)

          Space.Floor.number >= 2

     }



     Space mySpace{

          getSpace(“RoofTopPlaza”) + getSpace(myBalcony)

     }



     isAccessible(mySpace) = TRUE

}



KS{

     hasElement(mySpace, Railing) = TRUE

     mySpace.Rail.height >= 1.2m

}


//건축법 시행령 40조 (옥상광장 등의 설치) 2항

Check(EDBA_40_2){

 IF (CS) THEN KS

}



CS{

     Floor myFloor{

          getObjectUsage(Floor) = “ClassIINeighborhoodLivingFacility.PerformanceHall“

          OR getObjectUsage(Floor) = "ClassIINeighborhoodLivingFacility.ReligiousAssemblyFacility"

        OR getObjectUsage(Floor)= "ClassIINeighborhoodLivingFacility.FacilityForProvidingInternetComputerGameService“


//건축법 시행령 40조 (옥상광장 등의 설치) 3항
Check(EDBA_40_3){
  IF (CS) THEN KS 
}

CS{
     Floor myFloor{
          Floor.number > 11
     }

        getBuildingStoriesCount() > 11
        getTotalFloorArea(myFloor) > 10000m2
}

KS{
  getResult(EDBA_40_3_1) = True
  getResult(EDBA_40_3_2) = True
}



//건축법 시행령 40조 (옥상광장 등의 설치) 3항 1호

Check(EDBA_40_3_1){

  IF (CS) THEN KS

}



CS{

     getObjectProperty(Roof.shapeType) = “FlatRoof”

}



KS{

     isExist(Heliport) = True

        getResult(REFB_13_1)=True

        getResult(REFB_13_2)=True

}


//건축법 시행령 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

        

}


//건축법 시행령 40조 (옥상광장 등의 설치) 4항
Check(EDBA_40_4){
  IF (CS1) THEN KS1 ELSE IF (CS2) THEN KS2
}
CS1{
  getResult(EDBA_40_3_1)=True
 
}
KS1{
   getResult(REFB_13_1)=True
   getResult(REFB_13_2)=True
  
}
CS2{
   getResult(EDBA_40_3_2)=True
}

KS2{
   getResult(REFB_13_3)=True
}