//  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조 (계단의 설치기준) 6항
Check(REFB_15_6){
	IF CS THEN KS
}


Stair myStair{
	getResult(REFB_15_1) = TRUE
}

CS{
	isReplaced(myStair, Ramp) = TRUE
}

KS{
	getResult(REFB_15_5) = TRUE
} 

Python Code 변환 예정