//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 12호 나목
Check(ERPA_6_1_12_2){
     KS
}

KS{
     isExist(CrashBarrier) = TRUE
     getObjectProperty(CrashBarrier) = "FallPreventionSafetyFacility"
}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 14호
Check(ERPA_6_1_14){
     KS
}

KS{
     
     ParkingLot myParkingLot{
          isObjectProperty(ParkingLot.isOffStreetParking) = TRUE
     }

     ParkingUnit myParkingUnit{
          getResult(ERPA_3_1_2) = TRUE
          getObjectProperty(ParkingUnit.parkingUseType) = "ExtensionType"
     }

     ParkingUnit myParkingUnit2{
          getResult(ERPA_3_1_2) = TRUE
          getObjectProperty(ParkingUnit.parkingType) = "ParallelParking"
     }

     hasSpace(myParkingLot, myParkingUnit) = TRUE     
     (getObjectProperty(ParkingUnit.numberOf)*0.3 - getObjectNumber(myParkingUnit2)) <= getObjectNumber(myParkingUnit)
}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 4항 3호

Check(ERPA_6_4_3){

     KS

}



KS{

     getSpaceUsage(ParkingLotSubsidiaryFacility) = "GasStation"

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항
Check(ERPA_6_1){
   KS
}

KS{
   getResult(ERPA_6_1_2)=True
   getResult(ERPA_6_1_3)=True
   getResult(ERPA_6_1_4)=True
   getResult(ERPA_6_1_5)=True
   getResult(ERPA_6_1_6)=True
   getResult(ERPA_6_1_7)=True
   getResult(ERPA_6_1_12)=True
   getResult(ERPA_6_1_14)=True

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 3호



Check(ERPA_6_1_3){

    IF CS THEN KS

}



CS{

  isObjectProperty(ParkingLot.isOffStreetParking)=True

}



KS{

  isExist(ParkingLot.Driveway)=True

  getResult(ERPA_6_1_3_가)=True

  getResult(ERPA_6_1_3_나)=True

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 3호 가목

Check(ERPA_6_1_3_가){

      KS

}





KS{

   isAdjacent(ParkingLotAreaMark.Edge, ParkingLot.Driveway)=True

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 3호 나목
Check(ERPA_6_1_3_나){
      KS
}

KS{
   getResult(ERPA_6_1_3_나_1)=True
   getResult(ERPA_6_1_3_나_2)=True
}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 4호

Check(ERPA_6_1_4){

      KS1 AND IF CS THEN KS2

}



KS1{

     ParkingLot myParkingLot{

     isObjectProperty(ParkingLot.isOffStreetParking)=TRUE

     }

     getObjectProperty(myParkingLot.Opening.width) >= 3.5m

}



CS{

     getObjectProperty(ParkingLot.numberOfParkingUnit) >= 50

}



KS2{

     Opening myOpening1{

     isObjectProperty(Opening.isExit)=TRUE

     }

     Opening myOpening2{

     isObjectProperty(Opening.isEntrance)=TRUE

     }

     myOpening1 != myOpening2

     isExist(myOpening1)=TRUE

     isExist(myOpening2)=TRUE

     OR getObjectProperty(Opening.width) >= 5.5m

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 5호
Check(ERPA_6_1_5){
      KS
}

KS{
     getResult(ERPA_6_1_3)=TRUE
     getResult(ERPA_6_1_5_가)=TRUE
     getResult(ERPA_6_1_5_나)=TRUE
     getResult(ERPA_6_1_5_다)=TRUE
     getResult(ERPA_6_1_5_라)=TRUE
     getResult(ERPA_6_1_5_바)=TRUE
}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 5호 가목
Check(ERPA_6_1_5_가){
      KS
}

KS{
     getObjectHeight(ParkingLot.Driveway) >= 2.3m
}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 5호 나목
Check(ERPA_6_1_5_나){
       KS1 AND IF CS THEN KS2
}

KS1{
     
}
CS{

}
KS2{

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 5호 다목
Check(ERPA_6_1_5_다){
       KS AND IF (CS1 THEN KS1 ELSE KS2) OR (CS2 THEN KS3 ELSE KS4)
}

KS{
     Wall myWall{
          hasObject(Ramp,Wall)=TRUE 
     }
     hasObject(Ramp, ParkingLot.Driveway)=TRUE 
     getElementDistance(myWall.Surface,      Curb, a) >= 30cm
     10cm =< getObjectProperty(Curb.height) < 15cm
}

CS1{
     getObjectProperty(ParkingLot.Driveway.shapeType) = "LinearType"
     getObjectProperty(ParkingLot.Driveway.numberOfLane) >= 2

}
KS1{
     getOjbectProperty(ParkingLot.Driveway.width) >= 6m
}
KS2{
     getOjbectProperty(ParkingLot.Driveway.width) >= 3.3m
}

CS2{
     getObjectProperty(ParkingLot.Driveway.shapeType) = "CurvedType"
     getObjectProperty(ParkingLot.Driveway.numberOfLane) >= 2

}
KS1{
     getOjbectProperty(ParkingLot.Driveway.width) >= 6.5m
}
KS2{
     getOjbectProperty(ParkingLot.Driveway.width) >= 3.6m
}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 5호 라목
Check(ERPA_6_1_5_라){
       IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}

CS1{
     getObjectProperty(ParkingLot.Driveway.shapeType) = "LinearType"
}
KS1{
     getObjectProperty(ParkingLot.Driveway.gradient) < 17%
}
CS2{
     getObjectProperty(ParkingLot.Driveway.shapeType) = "CurvedType"
}
KS2{
     getObjectProperty(ParkingLot.Driveway.gradient) < 14%
}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 5호 바목

Check(ERPA_6_1_5_바){

       IF CS THEN (KS1 OR KS2)

}



CS{

     getObjectProperty(ParkingLot.numberOfParkingUnit) >= 50

     hasObject(Ramp, ParkingLot.Driveway.)=TRUE 

}

KS1{

     getObjectProperty(ParkingLot.Driveway.width) >= 6m

     getObjectProperty(ParkingLot.Driveway.numberOfLane) >= 2

}

KS2{

     Opening myOpening1{

     isObjectProperty(Opening.isExit)=TRUE 

     }

     Opening myOpening2{

     isObjectProperty(Opening.isEntrance)=TRUE 

     }

     myOpening1 != myOpening2

     hasObject(ParkingLot.Driveway., myOpening1)=TRUE 

     hasObject(ParkingLot.Driveway., myOpening2)=TRUE 

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 6호
Check(ERPA_6_1_6){
       IF (!CS1 AND CS2) THEN (KS1 AND KS2)
}

CS1{
     Elevator myElevator{
     getObjectProperty(Elevator.usage) = "AutomobileElevator"
     }
     Opening myOpening1{
     isObjectProperty(Elevator.Opening.isEntrance)=TRUE
     }
     Opening myOpening2{
     isObjectProperty(Elevator.Opening.isExit)=TRUE
     }
     myOpening1 != myOpening2
     isExist(myOpening1)=TRUE
     isExist(myOpening2)=TRUE
}
CS2{
     getObjectProperty(ParkingLot.operationType) = "DriveInParking"
     isObjectProperty(ParkingLot.isOffStreetParking)=TRUE
}

KS1{
     
}
KS2{
     getResult(ERPA_16-2_1)=TRUE
     getResult(ERPA_16-2_3)=TRUE
}



//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 7호
Check(ERPA_6_1_7){
       KS
}

KS{
     isObjectProperty(ParkingLot.isOffStreetParking)=TRUE
     getObjectHeight(ParkingLotArea.Space) >= 2.1m
}


//     주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 10호

Check(ERPA_6_1_10){
    KS
}

KS{
     ParkingLot myParkingLot{
          isObjectProperty(ParkingLot.isOffStreetParking) = TRUE
     }
     isInstalled(AlarmSystem, myParkingLot) = TRUE
}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 12호
Check(ERPA_6_1_12){
       IF CS THEN KS
}

CS{
          getObjectProperty(ParkingLot.buildingType)="BuildingType"
          getObjectProperty(ParkingLot.Floor.numberOf) >= 2
}
KS{
     getResult(ERPA_6_1_12_나)=TRUE
}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 4항

Check(ERPA_6_4){

     IF !CS THEN KS

}



CS{

     TFA = getFloorArea(ParkingLot)

     getTotalObjectArea(     ParkingLotSubsidiaryFacility) > TFA*0.2

}



KS{

     ParkingLot myParkingLot{

          isObjectProperty(ParkingLot.isOffStreetParking) = TRUE

     }



     SubsidiaryFacility mySubsidiaryFacility{

          getResult(ERPA_4_1) = TRUE

          OR getResult(ERPA_4_2) = TRUE

          OR getResult(ERPA_4_3) = TRUE

     }



     hasSpace(myParkingLot, mySubsidiaryFacility) = TRUE

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 4항 1호

Check(ERPA_6_4_1){

     KS

}



KS{

     getSpaceUsage(ParkingLotSubsidiaryFacility) = "ControlOffice"

     OR getSpaceUsage(ParkingLotSubsidiaryFacility) = "RestArea"

     OR getSpaceUsage(ParkingLotSubsidiaryFacility) = "PublicToilet"

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 4항 2호

Check(ERPA_6_4_2){

     KS

}



KS{

     getSpaceUsage(ParkingLotSubsidiaryFacility) = "SnackBar"

     OR getSpaceUsage(ParkingLotSubsidiaryFacility) = "CarOrnamentationShop"

     OR getSpaceUsage(ParkingLotSubsidiaryFacility) = "ElectricVehicleChargingStation"

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 4항 4호
Check(ERPA_6_4_4){
     KS
}


KS{
   getResult(Unimplemented_LGMO)
}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 5항

Check(ERPA_6_5){

     IF CS THEN KS

}



CS{

     ParkingLot myParkingLot{

          isObjectProperty(ParkingLot.isOffStreetParking) = TRUE

          getResult(PLA_20_2) = TRUE

          OR getResult(PLA_20_3) = TRUE

     }



     hasSpace(myParkingLot,SubsidiaryFacility) = TRUE

     getTotalFloorArea(myParkingLot.facilityArea)

}



KS{

     getFloorArea(ParkingLotSubsidiaryFacility) <= getTotalObjectArea(ParkingLot)*0.4

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 6항

Check(ERPA_6_6){

     IF CS THEN KS

}



ParkingLot myParkingLot{

     isObjectProperty(ParkingLot.isOffStreetParking) = TRUE

}


Building myBuilding{
Building.usage = "UrbanGunPlanningFacility"
getResult(LPUA_2_0_7) = TRUE
hasSpace(myParkingLot, Building) = TRUE
getSpaceUsage(Building) = getSpaceUsage(SubsidiaryFacility)

}

Building myBuilding1{
Building.usage = "UrbanGunPlanningFacility"
}

CS{

     getObjectNumber(myBuilding) >= 2

}



KS{

     (getFloorArea(myBuilding1)- getFloorArea(myBuilding)) <= (getTotalObjectArea(ParkingLot) + getTotalObjectArea(SubsidiaryFacility))*0.4

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 3호 나목
Check(ERPA_6_1_3_나){
     IF CS THEN KS
}

CS{
   getSpaceUsage()="ParkingLot"
   getObjectProperty(ParkingLot.parkingUseType)="TwowheeledVehicle"
}

KS{
   IF      getObjectProperty(ParkingUnit.parkingType)="ParallelParking"
       IF getObjectCount(Opening)>=2
       THEN  ParkingLot.Driveway.width>=2.25 m
       ELSE IF getObjectCount(Opening)=1
       THEN  ParkingLot.Driveway.width>=3.5 m
       END IF
   ELSE IF getObjectProperty(ParkingUnit.parkingType)="RightAngleParking"
       IF getObjectCount(Opening)>=2
       THEN  ParkingLot.Driveway.width>=4.0 m
       ELSE IF getObjectCount(Opening)=1
       THEN  ParkingLot.Driveway.width>=4.0 m
       END IF
   ELSE IF getObjectProperty(ParkingUnit.parkingType)="45AngleParking"
       IF getObjectCount(Opening)>=2
       THEN  ParkingLot.Driveway.width>=2.3 m
       ELSE IF getObjectCount(Opening)=1
       THEN  ParkingLot.Driveway.width>=3.5 m
       END IF
  END IF
}



//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 3호 나목

Check(ERPA_6_1_3_나){

     IF CS THEN KS

}



CS{

   getSpaceUsage()="ParkingLot"

   isObjectProperty(ParkingLot.isOffStreetParking)=True

   getObjectProperty(ParkingLot.parkingUseType)!="TwowheeledVehicle"

}



KS{

   IF      getObjectProperty(ParkingUnit.parkingType)="ParallelParking"

       IF getObjectCount(Opening)>=2

       THEN  ParkingLot.Driveway.width>=3.3 m

       ELSE IF getObjectCount(Opening)=1

       THEN  ParkingLot.Driveway.width>=5.0 m

       END IF

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

       IF getObjectCount(Opening)>=2

       THEN  ParkingLot.Driveway.width>=6.0 m

       ELSE IF getObjectCount(Opening)=1

       THEN  ParkingLot.Driveway.width>=6.0 m

       END IF

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

       IF getObjectCount(Opening)>=2

       THEN  ParkingLot.Driveway.width>=4.5 m

       ELSE IF getObjectCount(Opening)=1

       THEN  ParkingLot.Driveway.width>=5.5 m

       END IF

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

       IF getObjectCount(Opening)>=2

       THEN  ParkingLot.Driveway.width>=3.5 m

       ELSE IF getObjectCount(Opening)=1

       THEN  ParkingLot.Driveway.width>=5.0 m

       END IF

getObjectProperty(ParkingUnit.parkingType)="CrossParking"

       IF getObjectCount(Opening)>=2

       THEN  ParkingLot.Driveway.width>=3.5 m

       ELSE IF getObjectCount(Opening)=1

       THEN  ParkingLot.Driveway.width>=5.0 m

       END IF

  END IF

}