//건축물의 설비기준 등에 관한 규칙 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
}