|
|
|
L
|
하위 법규문장 모두 거짓이어야 상위법규가 만족하는 관계
|
2822
건축법 시행령 56 조
1항
1호
"1. 제2종 근린생활시설 중 공연장ㆍ종교집회장(해당 용도로 쓰는 바닥면적의 합계가 각각 300제곱미터 이상인 경우만 해당한다), 문화 및 집회시설(전시장 및 동ㆍ식물원은 제외한다), 종교시설, 위락시설 중 주점영업 및 장례식장의 용도로 쓰는 건축물로서 관람석 또는 집회실의 바닥면적의 합계가 200제곱미터(옥외관람석의 경우에는 1천 제곱미터) 이상인 건축물"
//건축법 시행령 56조 (건축물의 내화구조) 1항 1호
check(EDBA_56_1_1){
KS
}
Space mySpace{
Space.usage = "Auditorium "
isExternal(Space) = TRUE
}
KS {
(getBuildingUsage() = "PerformanceHall" | "ReligiousAssemblyFacility"
AND getFloorArea(getSpace("PerformanceHall" | “ReligiousAssemblyFacility”)) > = 300m2;)
OR (getBuildingUsage() = "CulturalAndAssemblyFacility"
AND getBuildingUsage() != "ExhibitionHall" | "ZoologicalAndBotanicalGarden"
OR (getBuildingUsage() = "ReligiousFacility" | "BarBusiness" | "FuneralParlor"
AND getFloorArea(getSpace(“Seat” | “AssemblyHall”) > = 200m2
OR getFloorArea(mySpace) > = 1000m2;)
}
|
|
|
|
L
|
하위 법규문장 모두 거짓이어야 상위법규가 만족하는 관계
|
2823
건축법 시행령 56 조
1항
2호
"2. 문화 및 집회시설 중 전시장 또는 동ㆍ식물원, 판매시설, 운수시설, 교육연구시설에 설치하는 체육관ㆍ강당, 수련시설, 운동시설 중 체육관ㆍ운동장, 위락시설(주점영업의 용도로 쓰는 것은 제외한다), 창고시설, 위험물저장 및 처리시설, 자동차 관련 시설, 방송통신시설 중 방송국ㆍ전신전화국ㆍ촬영소, 묘지 관련 시설 중 화장장 또는 관광휴게시설의 용도로 쓰는 건축물로서 그 용도로 쓰는 바닥면적의 합계가 500제곱미터 이상인 건축물"
//건축법 시행령 56조 (건축물의 내화구조) 1항 2호
check(EDBA_56_1_2){
KS
}
KS{
(getBuildingUsage() = "ExhibitionHall" | "ZoologicalANDbotanicalGarden" | "CommercialFacility" | "TransportationFacilities" | "gymnasium.educationAndresearchFacilities" | "hall.educationAndresearchFacilities" | "gymnasium" | "sportsfacilities.stadium" | "sports facilities.warehouses" | "factory.facilitiesForStorageAndreatmentOfDangerousSubstance" | "factory.facilitiesForMotorVehicles" | "facilitiesforbroadcastingAndTelecommunications.broadcastingStation" | "facilitiesforbroadcasting andtelecommunications.telegraphAndTelephoneStations" | "facilitiesforbroadcasting and telecommunications.studio" | "cemeteries and relatedfacilities.Crematorium | "facilitiesfortourismandrelaxation"
OR (getBuildingUsage() = "amusementfacilities"
AND getBuildingUsage() != "barbusiness.amusementfacilities"))
AND getFloorArea(getSpace(getBuildingUsage()) > = 500m2))
}
|
PAGE MENU
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계
