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

Check(RFB_5){

     IF !(CS) THEN KS1

}

CS{
getObjectProperty(Elevator.usage) = "PassengerElevator"
     isExist(Elevator) = TRUE
}

KS1{
        getResult(RFB_*_1-2) = TRUE
}