//주차장법 시행규칙 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 }
Python Code 변환 예정