|
|
L
|
특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계
|
13922
주차장법 시행규칙 6 조
1항
"제6조(노외주차장의 구조·설비기준) ① 법 제6조제1항에 따른 노외주차장의 구조·설비기준은 다음 각 호와 같다. <개정 2010.10.29., 2012.7.2., 2013.1.25., 2013.3.23., 2014.7.15.>"
//주차장법 시행규칙 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
}
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
13925
주차장법 시행규칙 6 조
1항
3호
"3. 노외주차장에는 자동차의 안전하고 원활한 통행을 확보하기 위하여 다음 각 목에서 정하는 바에 따라 차로를 설치하여야 한다."
//주차장법 시행규칙 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
}
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
13926
주차장법 시행규칙 6 조
1항
3호
가목
"가. 주차구획선의 긴 변과 짧은 변 중 한 변 이상이 차로에 접하여야 한다."
//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 3호 가목
Check(ERPA_6_1_3_가){
KS
}
KS{
isAdjacent(ParkingLotAreaMark.Edge, ParkingLot.Driveway)=True
}
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
13927
주차장법 시행규칙 6 조
1항
3호
나목
"나. 차로의 너비는 주차형식 및 출입구(지하식 또는 건축물식 주차장의 출입구를 포함한다. 제4호에서 또한 같다)의 개수에 따라 다음 구분에 따른 기준 이상으로 하여야 한다."
//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 3호 나목 Check(ERPA_6_1_3_나){ KS }
KS{ getResult(ERPA_6_1_3_나_1)=True getResult(ERPA_6_1_3_나_2)=True }
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
13928
주차장법 시행규칙 6 조
1항
3호
나 1)목
"1) 이륜자동차전용 노외주차장
(표)"
//주차장법 시행규칙 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 }
|
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
13929
주차장법 시행규칙 6 조
1항
3호
나 2)목
"2) 1) 외의 노외주차장
(표)"
//주차장법 시행규칙 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
}
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
13930
주차장법 시행규칙 6 조
1항
4호
"4. 노외주차장의 출입구 너비는 3.5미터 이상으로 하여야 하며, 주차대수 규모가 50대 이상인 경우에는 출구와 입구를 분리하거나 너비 5.5미터 이상의 출입구를 설치하여 소통이 원활하도록 하여야 한다."
//주차장법 시행규칙 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
}
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
13931
주차장법 시행규칙 6 조
1항
5호
"5. 지하식 또는 건축물식 노외주차장의 차로는 제3호의 기준에 따르는 외에 다음 각 목에서 정하는 바에 따른다."
//주차장법 시행규칙 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 }
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
13932
주차장법 시행규칙 6 조
1항
5호
가목
"가. 높이는 주차바닥면으로부터 2.3미터 이상으로 하여야 한다."
//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 5호 가목 Check(ERPA_6_1_5_가){ KS }
KS{ getObjectHeight(ParkingLot.Driveway) >= 2.3m }
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
13933
주차장법 시행규칙 6 조
1항
5호
나목
"나. 곡선 부분은 자동차가 6미터(같은 경사로를 이용하는 주차장의 총주차대수가 50대 이하인 경우에는 5미터, 이륜자동차전용 노외주차장의 경우에는 3미터) 이상의 내변반경으로 회전할 수 있도록 하여야 한다."
//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 5호 나목 Check(ERPA_6_1_5_나){ KS1 AND IF CS THEN KS2 }
KS1{ } CS{
} KS2{
}
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
13934
주차장법 시행규칙 6 조
1항
5호
다목
"다. 경사로의 차로 너비는 직선형인 경우에는 3.3미터 이상(2차로의 경우에는 6미터 이상)으로 하고, 곡선형인 경우에는 3.6미터 이상(2차로의 경우에는 6.5미터 이상)으로 하며, 경사로의 양쪽 벽면으로부터 30센티미터 이상의 지점에 높이 10센티미터 이상 15센티미터 미만의 연석(沿石)을 설치하여야 한다. 이 경우 연석 부분은 차로의 너비에 포함되는 것으로 본다."
//주차장법 시행규칙 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 }
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
13935
주차장법 시행규칙 6 조
1항
5호
라목
"라. 경사로의 종단경사도는 직선 부분에서는 17퍼센트를 초과하여서는 아니 되며, 곡선 부분에서는 14퍼센트를 초과하여서는 아니 된다."
//주차장법 시행규칙 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% }
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
13937
주차장법 시행규칙 6 조
1항
5호
바목
"바. 주차대수 규모가 50대 이상인 경우의 경사로는 너비 6미터 이상인 2차로를 확보하거나 진입차로와 진출차로를 분리하여야 한다."
//주차장법 시행규칙 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
}
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
13938
주차장법 시행규칙 6 조
1항
6호
"6. 자동차용 승강기로 운반된 자동차가 주차구획까지 자주식으로 들어가는 노외주차장의 경우에는 주차대수 30대마다 1대의 자동차용 승강기를 설치하여야 한다. 이 경우 제16조의2제1호 및 제3호를 준용하되, 자동차용 승강기의 출구와 입구가 따로 설치되어 있거나 주차장의 내부에서 자동차가 방향전환을 할 수 있을 때에는 제16조의2제3호에 따른 진입로를 설치하고 제16조의2제1호에 따른 전면공지 또는 방향전환장치를 설치하지 아니할 수 있다."
//주차장법 시행규칙 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 }
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
13939
주차장법 시행규칙 6 조
1항
7호
"7. 노외주차장에서 주차에 사용되는 부분의 높이는 주차바닥면으로부터 2.1미터 이상으로 하여야 한다."
//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 7호 Check(ERPA_6_1_7){ KS }
KS{ isObjectProperty(ParkingLot.isOffStreetParking)=TRUE getObjectHeight(ParkingLotArea.Space) >= 2.1m }
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
13951
주차장법 시행규칙 6 조
1항
12호
"12. 2층 이상의 건축물식 주차장 및 특별시장·광역시장·특별자치도지사·시장·군수가 정하여 고시하는 주차장에는 다음 각 목의 어느 하나에 해당하는 추락방지 안전시설을 설치하여야 한다."
//주차장법 시행규칙 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 }
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
13953
주차장법 시행규칙 6 조
1항
12호
나목
"나. 「도로법 시행령」 제3조제4호에 따른 방호(防護) 울타리"
//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 12호 나목 Check(ERPA_6_1_12_2){ KS }
KS{ isExist(CrashBarrier) = TRUE getObjectProperty(CrashBarrier) = "FallPreventionSafetyFacility" }
|
|
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도의 범위에서 해당 도로를 통행하는 자를 확인할 수 있도록 하여야 한다."
|
|
|