|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
13996
주차장법 시행규칙 11 조
4항
"④ 주차대수 50대 이상의 부설주차장에 설치되는 확장형 주차단위구역에 관하여는 제6조제1항제14호를 준용한다. <신설 2012.7.2.>"
//주차장법 시행규칙 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 }
L
|
특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계
|
13957
주차장법 시행규칙 6 조
1항
14호
"14. 노외주차장에는 제3조제1항제2호에 따른 확장형 주차단위구획을 주차단위구획 총수(평행주차형식의 주차단위구획 수는 제외한다)의 30퍼센트 이상 설치하여야 한다."
//주차장법 시행규칙 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) }
L
|
특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계
|
13924
주차장법 시행규칙 6 조
1항
2호
"2. 노외주차장의 출구 부근의 구조는 해당 출구로부터 2미터(이륜자동차전용 출구의 경우에는 1.3미터)를 후퇴한 노외주차장의 차로의 중심선상 1.4미터의 높이에서 도로의 중심선에 직각으로 향한 왼쪽·오른쪽 각각 60도의 범위에서 해당 도로를 통행하는 자를 확인할 수 있도록 하여야 한다."
|
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
13997
주차장법 시행규칙 11 조
5항
"⑤ 부설주차장의 총주차대수 규모가 8대 이하인 자주식주차장(지평식 및 건축물식 중 필로티 구조만 해당한다)의 구조 및 설비기준은 제1항 본문에도 불구하고 다음 각 호에 따른다. <개정 2012.7.2., 2013.1.25.>"
//주차장법 시행규칙 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 }
|