// 건축법 시행령 51조 (거실의 채광 등) 1항
check(EDBA_51_1){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "DetachedHouse.Room"
     OR getBuildingUsage() = "MultiUnitHouse.Room"
     OR getBuildingUsage() = "School.Classroom"
     OR getBuildingUsage() = "MedicalFacility.Ward"
     OR getBuildingUsage() = "LodgingFacility.GuestRoom"
}

KS{
     hasElement(Window) = TRUE
}


//건축법 시행령 51조 (거실의 채광 등) 2항
Check(EDBA_51_2){
     IF (!CS1 AND CS2) THEN KS
}


CS1{
     Floor myFloor{
          isObjectProperty(Floor.isEscape) = TRUE
     }
     getFloorNumber(Room) = getFloorNumber(myFloor)
}

CS2{
     getBuildingStoriesCount() >= 6
     getResult(EDBA_51_2_1) = True
     OR getResult(EDBA_51_2_2) = True
     OR getResult(EDBA_51_2_3) = True
     OR getResult(EDBA_51_2_4) = True
     OR getResult(EDBA_51_2_5) = True
     OR getResult(EDBA_51_2_6) = True
     OR getResult(EDBA_51_2_7) = True
     OR getResult(EDBA_51_2_8) = True
     OR getResult(EDBA_51_2_9) = True
     OR getResult(EDBA_51_2_10) = True
     OR getResult(EDBA_51_2_11) = True
     OR getResult(EDBA_51_2_12) = True
     OR getResult(EDBA_51_2_13) = True
     OR getResult(EDBA_51_2_14) = True
     OR getResult(EDBA_51_2_15) = True
}

KS{
     hasSpace(Room, SmokeExhaustionSystem) = True
     getResult(RFB_14_1) = True
     getResult(REFB_17_1) = True
     getResult(REFB_17_2) = True
}



//건축법 시행령 51조 (거실의 채광 등) 2항 1호
Check(EDBA_51_2_1){
     KS1 OR KS2
}     
KS1{
     Space mySpace{
          getBuildingUsage() = "ClassIINeighborhoodLivingFacility.PerformanceHall"
          OR getBuildingUsage() = "ClassIINeighborhoodLivingFacility.ReligiousAssemblyFacility"
          OR getBuildingUsage() = "ClassIINeighborhoodLivingFacility.FacilityForProvidingInternetComputerGameService"     
     }

     getFloorArea(mySpace) >= 300 m2
}

KS2{
     getBuildingUsage() = "ClassIINeighborhoodLivingFacility.CommunalLivingFacilities"
}



//건축법 시행령 51조 (거실의 채광 등) 2항 2호
Check(EDBA_51_2_2){
     getBuildingUsage() = "CulturalAndAssemblyFacility"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 3호
Check(EDBA_51_2_3){
     getBuildingUsage() = "ReligiousFacility"
}


Check(EDBA_51_2_4){

  getBuildingUsage()="CommercialFacility"

}


//건축법 시행령 51조 (거실의 채광 등) 2항 5호
Check(EDBA_51_2_5){
     getBuildingUsage() = "TransportationFacility"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 6호
Check(EDBA_51_2_6){
     getBuildingUsage() = "MedicalFacility"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 7호
Check(EDBA_51_2_7){
     getBuildingUsage() = "EducationAndResearchFacility.Laboratory"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 8호
Check(EDBA_51_2_8){
     getBuildingUsage() = "FacilitiesForTheAgedAndChildren.ChildrenRelatedFacilities"
     OR getBuildingUsage() = "FacilitiesForTheAgedAndChildren.WelfareFacilitiesForTheAged"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 9호
Check(EDBA_51_2_9){
     getBuildingUsage() = "Trainingfacility.YouthHostels"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 10호
Check(EDBA_51_2_10){
     getBuildingUsage() = "SportsFacility"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 11호
Check(EDBA_51_2_11){
     getBuildingUsage() = "BusinessFacility"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 12호
Check(EDBA_51_2_12){
     getBuildingUsage() = "LodgingFacility"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 13호
Check(EDBA_51_2_13){
     getBuildingUsage() = "AmusementFacility"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 14호
Check(EDBA_51_2_14){
     getBuildingUsage() = "FacilityForTourismAndRelaxation"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 15호
Check(EDBA_51_2_15){
     getBuildingUsage() = "FuneralParlors"
}



// 건축법 시행령 51조 (거실의 채광 등) 3항

check(EDBA_51_3){

     IF CS THEN KS

}



CS{

Window myWindow{
getObjectProperty(Window.panelOperationType) = "SwingingWindow"
}
     getBuildingUsage() = "Officetels.Room"

     getElementHeight(myWindow) <= 1.2 m

}



KS{

     isExist(FallPreventionSafetyFacility) = TRUE

     getResult(REFB_17_4) = TRUE

}