//건축물의 설비기준 등에 관한 규칙 6조 (승강기의 구조) 

Check(RFB_6){

	IF CS THEN KS
}
CS{	
	Elevator myElevator{
	isObjectProperty(Elevator.isEmergency) = TRUE
	}

	isInstalled(Elevator) = TRUE
	OR isInstalled(Escalator) = TRUE
	OR isInstalled(myElevator) = TRUE
}

KS{
           getResult(Unimplemented_EFSMA) = TRUE
} 

Python Code 변환 예정

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 12조 (회전문의 설치기준) 1항
Check(REFB_12_1){
KS
}

KS {
getElementDistance(myDoor, Stair, a)>= 2 m
OR getElementDistance(myDoor, Escalator, a)>= 2 m
}
 

Python Code 변환 예정