// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 	15조 (계단의 설치기준) 5항 3호

check(REFB_15_5_3){
     IF CS THEN KS
}
CS{
	isInstalled(Ramp, Building) = TRUE
}
KS{
	getResult(unimplemented_CDAPA) = TRUE
} 

Python Code 변환 예정