//건축법 시행령 80조 (건축물이 있는 대지의 분할제한) 

Check(EDBA_80){
     KS
}
KS{
     getResult(EDBA_80_1) = TRUE
     getResult(EDBA_80_2) = TRUE
     getResult(EDBA_80_3) = TRUE
     getResult(EDBA_80_4) = TRUE
     getResult(EDBA_80_5) = TRUE
}


//건축법 시행령 80조 (건축물이 있는 대지의 분할제한) 1호

Check(EDBA_80_1){
     IF CS THEN KS
}
CS{
     getBuildingUsage() = "ResidentialArea"
}
KS{
     getObjectProperty(Building.Site.area) >= 60m2
}



//건축법 시행령 80조 (건축물이 있는 대지의 분할제한) 2호

Check(EDBA_80_2){
     IF CS THEN KS
}
CS{
     getBuildingUsage() = "CommercialArea"
}
KS{
     getObjectProperty(Building.Site.area) >= 150m2
}


//건축법 시행령 80조 (건축물이 있는 대지의 분할제한) 3호

Check(EDBA_80_3){
     IF CS THEN KS
}
CS{
     getBuildingUsage() = "IndustrialArea"
}
KS{
     getObjectProperty(Building.Site.area) >= 150m2
}


//건축법 시행령 80조 (건축물이 있는 대지의 분할제한) 4호

Check(EDBA_80_4){
     IF CS THEN KS
}
CS{
     getBuildingUsage() = "GreenArea"
}
KS{
     getObjectProperty(Building.Site.area) >= 200m2
}



//건축법 시행령 80조 (건축물이 있는 대지의 분할제한) 5호

Check(EDBA_80_5){
     IF CS THEN KS
}
CS{
     getBuildingUsage() != "ResidentialArea"
     getBuildingUsage() != "CommercialArea"     
     getBuildingUsage() != "IndustrialArea"
     getBuildingUsage() != "GreenArea"
}
KS{
     getObjectProperty(Building.Site.area) >= 60m2
}