//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 용적률) 1항
Check(EDLPUA_84_1){
     KS
}

KS{
     getResult(EDLPUA_84_1_1) = TRUE
     OR getResult(EDLPUA_84_1_2) = TRUE
     OR getResult(EDLPUA_84_1_3) = TRUE
     OR getResult(EDLPUA_84_1_4) = TRUE
     OR getResult(EDLPUA_84_1_5) = TRUE
     OR getResult(EDLPUA_84_1_6) = TRUE
     OR getResult(EDLPUA_84_1_7) = TRUE
     OR getResult(EDLPUA_84_1_8) = TRUE
     OR getResult(EDLPUA_84_1_9) = TRUE
     OR getResult(EDLPUA_84_1_10) = TRUE
     OR getResult(EDLPUA_84_1_11) = TRUE
     OR getResult(EDLPUA_84_1_12) = TRUE
     OR getResult(EDLPUA_84_1_13) = TRUE
     OR getResult(EDLPUA_84_1_14) = TRUE
     OR getResult(EDLPUA_84_1_15) = TRUE
     OR getResult(EDLPUA_84_1_16) = TRUE
     OR getResult(EDLPUA_84_1_17) = TRUE
     OR getResult(EDLPUA_84_1_18) = TRUE
     OR getResult(EDLPUA_84_1_19) = TRUE
     OR getResult(EDLPUA_84_1_20) = TRUE
     OR getResult(EDLPUA_84_1_21) = TRUE
}

//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 1항 1호
Check(LPUA_77_1_1){
     KS
}

KS{
     getObjectProperty(SpecialPurposeArea.type) = "UrbanArea"
}

//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 1항 1호
Check(LPUA_77_1_2){
     KS
}

KS{
     getObjectProperty(SpecialPurposeArea.type) = "ControlArea"
}

//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 1항 3호
Check(LPUA_77_1_3){
     IF CS THEN KS
}
          
CS{
     getObjectProperty(SpecialPurposeArea.type) = "AgriculturalAndForestryArea"
}

KS{
     getObjectProperty(Building.buildingToLandRatio) = BTL
     BTL <= 20
}

//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 1항 4호
Check(LPUA_77_1_4){
     IF CS THEN KS
}
          
CS{
     getObjectProperty(SpecialPurposeArea.type) = "NaturalEnvironmentConservationArea"
}

KS{
     getObjectProperty(Building.buildingToLandRatio) = BTL
     BTL <= 20
}

//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 1항
Check(LPUA_77_1){
     KS
}

KS{
     getResult(LPUA_77_1_1) = TRUE
     OR getResult(LPUA_77_1_2) = TRUE
     OR getResult(LPUA_77_1_3) = TRUE
     OR getResult(LPUA_77_1_4) = TRUE
}

용적률) 3항
Check(EDLPUA_84_3){
     IF CS THEN KS
}
CS{
     getResult(EDLPUA_84_3_1) = TRUE
     getResult(EDLPUA_84_3_2) = TRUE
     getResult(EDLPUA_84_3_3) = TRUE
     getResult(EDLPUA_84_3_4) = TRUE
     getResult(EDLPUA_84_3_5) = TRUE
     getResult(EDLPUA_84_3_6) = TRUE
}
KS{
     getResult(Unimplemented_UPMO) = TRUE
}

//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 3항 1호
Check(LPUA_77_3_1){
     KS
}

KS{
     getResult(LPUA_37_1_8) = TRUE
     getObjectProperty(SpecialPurposeDistrict.type) = "SettlementDistrict"
}

//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 3항 2호
Check(LPUA_77_3_2){
     KS
}

KS{
     getResult(LPUA_37_1_9) = TRUE
     getObjectProperty(SpecialPurposeDistrict.type) = "DevelopmentPromotionDistrict"
     getObjectProperty(SpecialPurposeArea.type) != "UrbanArea"
}

//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 3항 3호
Check(LPUA_77_3_3){
     KS
}

KS{
     getResult(LPUA_40) = TRUE
     getObjectProperty(SpecialPurposeZone.type) = "FisheryResourcesProtectionZone"
}