//     주차장법 시행규칙 3조 (주차장의 주차구획) 1항
Check(ERPA_3_1){
     KS
}

KS{
     getResult(ERPA_3_1_1) = TRUE
     getResult(ERPA_3_1_2) = TRUE
}



//  주차장법 시행규칙 3조 (주차장의 주차구획) 1항 1호
Check(ERPA_3_1_1){
     KS
}

KS{
     getObjectProperty(ParkingUnit.parkingType) = "ParallelParking"
}



//  주차장법 시행규칙 3조 (주차장의 주차구획) 1항 2호
Check(ERPA_3_1_2){
     KS
}

KS{
     getObjectProperty(ParkingUnit.parkingType) != "ParallelParking"
}