|
|
|
|
관계유형
|
|
|
|
|
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
}
|
PAGE MENU
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계
