//주차장법 시행규칙 11조 (부설주차장의 구조·설비기준) 2항
Check(ERPA_11_2){
     getResult(ERPA_6_1_9) = TRUE
     getResult(ERPA_6_1_11) = TRUE
}



//주차장법 시행규칙 11조 (부설주차장의 구조·설비기준) 2항 1조
Check(ERPA_11_2_1){
     KS
}

KS{
     Building myBuilding{
          getBuildingUsage() = "CommercialFacility" OR "LodgingFacility", "AmusementFacility", "CulturalAndAssemblyFacility", "ReligiousFacility","BusinessFacility"
     }
          isObjectProperty(myBuilding.ParkingLot.isAttachedParking) = TRUE
          getObjectProperty(ParkingLot.numberOfParkingUnit) > 30
          getObjectProperty(ParkingLot.operationType) = "DriveInParking" OR "MechanicalParking"

}


//주차장법 시행규칙 11조 (부설주차장의 구조·설비기준) 4항
Check(ERPA_11_4){
     IF CS THEN KS
}

CS{
     ParkingLot myParkingLot{
          isObjectProperty(ParkingLot.isAttachedParking) = TRUE
          getObjectProperty(ParkingLot.numberOfParkingUnit) >= 50
     }

     ParkingUnit myParkingUnit{
          getObjectProperty(ParkingUnit) = "ExtensionType"
     }

     hasSpace(myParkingLot, myParkingUnit) = TRUE
}

KS{
     getResult(ERPA_6_1_14) = TRUE
}


//주차장법 시행규칙 11조 (부설주차장의 구조·설비기준) 5항 1호



Check(ERPA_11_5_1){

     KS

}



KS{

    IF  isAdjacent(ParkingUnit, ParkingLot.Driveway)=True

    THEN 

        IF getObjectProperty(ParkingUnit.parkingType)="ParallelParking"

           THEN ParkingLot.Driveway.width>=3.0 m

        ELSE IF getObjectProperty(ParkingUnit.parkingType)="RightAngleParking"

                THEN ParkingLot.Driveway.width>=6.0 m

              ELSE IF getObjectProperty(ParkingUnit.parkingType)="60AngleParking"

                THEN ParkingLot.Driveway.width>=4.0 m

                   ELSE IF getObjectProperty(ParkingUnit.parkingType)="45AngleParking"

                       THEN ParkingLot.Driveway.width>=3.5 m 

                       ELSE IF getObjectProperty(ParkingUnit.parkingType)="CrossParking"

                THEN ParkingLot.Driveway.width>=3.5 m

       END IF



    ELSE THEN

    ParkingLot.Driveway.width>=2.5 m

    END IF 

}


//주차장법 시행규칙 11조 (부설주차장의 구조·설비기준) 5항
Check(ERPA_11_5){
     IF CS THEN KS
}

CS{
     ParkingLot myParkingLot{
          isObjectProperty(ParkingLot.isAttachedParking) = TRUE
          isObjectProperty(ParkingLot.operationType) = "DriveInParking"
     }

     getObjectProperty(myParkingLot.numberOfParkingUnit) >= 8
}

KS{
     getResult(ERPA_11_5_1) = TRUE
     getResult(ERPA_11_5_2) = TRUE
     getResult(ERPA_11_5_3) = TRUE
}


//     주차장법 시행규칙 11조 (부설주차장의 구조·설비기준) 5항 5호

Check(ERPA_11_5_5){
    KS
}

KS{
     getObjectWidth(ParkingLot.Opening) >= 3m
}