//주차장법 시행규칙 5조 (노외주차장의 설치에 대한 계획기준) 7항

Check(ERPA_5_7){

      IF (!CS1 AND CS2) THEN KS

}



CS2{

     ParkingLot myParkingLot{

     isObjectProperty(ParkingLot.isOffStreetParking)=TRUE

     }

     getObjectProperty(ParkingLot.numberOfParkingUnit) > 400

}

     Opening myOpening1{

     isObjectProperty(myParkingLot.Oepning.isEntrance)=TRUE

     }

     Opening myOpening2{

     isObjectProperty(myParkingLot.Oepning.isExit)=TRUE

     }

     myOpening1 != myOpening2



CS1{



     getObjectProperty(myOpening1.width) = W1

     getObjectProperty(myOpening2.width) = W2

     W1 + W2 >= 5.5m

}



KS2{

     isExist(myOpening1) = TRUE

     isExist(myOpening2) = TRUE     

}


//주차장법 시행규칙 5조 (노상주차장의 구조·설비기준) 8호 

Check(ERPA_5_0_8){
    IF CS THEN KS
}

CS{
  
  ParkingLot myParkingLot{
    isObjectProperty(ParkingLot.isOffStreetParking)=True
  }

  getObjectCount(myParkingLot.ParkingUnit)>=50

}


KS{

    Area myArea{
        isObjectProperty(myParkingLotArea.isHandicapParking)=True
    }

    PLC=getObjectCount(myParkingLot.ParkingUnit)

    getObjectCount(myArea)>=PLC*2%
    getObjectCount(myArea)<=PLC*4%
    getResult(Unimplemented_LGMO)=True
}