/*
orders(MSS('DegradedSupervisionOperation.O.true')) = 
orders	product-number
2	6
3	54
total	60
end
*/
products(MSS('DegradedSupervisionOperation.O.true')) = 
{'OperationControl.RobotDecideEmergencyStop.stuck_on_false', 'RealWorld.SupervisionSafe.is_false'}
{'OperationMonitoring.SupervisorSelfAnalyse.stuck_on_true', 'RealWorld.SupervisionSafe.is_false'}
{'RealWorld.SupervisionSafe.is_false', 'OperationControl.RobotDecideEmergencyStop.stuck_on_false'}
{'RealWorld.SupervisionSafe.is_false', 'OperationMonitoring.SupervisorSelfAnalyse.stuck_on_true'}
{'RealWorld.SupervisionSafe.is_false', 'RobotAction.StopMove.fail'}
{'RobotAction.StopMove.fail', 'RealWorld.SupervisionSafe.is_false'}
{'OperationControl.RobotReceiveEmergencyStop.stuck_on_false', 'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_true', 'RealWorld.SupervisionSafe.is_false'}
{'OperationControl.RobotReceiveEmergencyStop.stuck_on_false', 'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_true', 'RealWorld.SupervisionSafe.is_false'}
{'OperationControl.RobotReceiveEmergencyStop.stuck_on_false', 'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_true', 'RealWorld.SupervisionSafe.is_false'}
{'OperationControl.RobotReceiveEmergencyStop.stuck_on_false', 'RealWorld.SupervisionSafe.is_false', 'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_true'}
{'OperationControl.RobotReceiveEmergencyStop.stuck_on_false', 'RealWorld.SupervisionSafe.is_false', 'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_true'}
{'OperationControl.RobotReceiveEmergencyStop.stuck_on_false', 'RealWorld.SupervisionSafe.is_false', 'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_true'}
{'OperationControl.SupervisorDecideEmergencyStop.stuck_on_false', 'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_true', 'RealWorld.SupervisionSafe.is_false'}
{'OperationControl.SupervisorDecideEmergencyStop.stuck_on_false', 'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_true', 'RealWorld.SupervisionSafe.is_false'}
{'OperationControl.SupervisorDecideEmergencyStop.stuck_on_false', 'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_true', 'RealWorld.SupervisionSafe.is_false'}
{'OperationControl.SupervisorDecideEmergencyStop.stuck_on_false', 'RealWorld.SupervisionSafe.is_false', 'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_true'}
{'OperationControl.SupervisorDecideEmergencyStop.stuck_on_false', 'RealWorld.SupervisionSafe.is_false', 'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_true'}
{'OperationControl.SupervisorDecideEmergencyStop.stuck_on_false', 'RealWorld.SupervisionSafe.is_false', 'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_true'}
{'OperationControl.SupervisorSendEmergencyStop.stuck_on_false', 'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_true', 'RealWorld.SupervisionSafe.is_false'}
{'OperationControl.SupervisorSendEmergencyStop.stuck_on_false', 'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_true', 'RealWorld.SupervisionSafe.is_false'}
{'OperationControl.SupervisorSendEmergencyStop.stuck_on_false', 'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_true', 'RealWorld.SupervisionSafe.is_false'}
{'OperationControl.SupervisorSendEmergencyStop.stuck_on_false', 'RealWorld.SupervisionSafe.is_false', 'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_true'}
{'OperationControl.SupervisorSendEmergencyStop.stuck_on_false', 'RealWorld.SupervisionSafe.is_false', 'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_true'}
{'OperationControl.SupervisorSendEmergencyStop.stuck_on_false', 'RealWorld.SupervisionSafe.is_false', 'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_true'}
{'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_true', 'OperationControl.RobotReceiveEmergencyStop.stuck_on_false', 'RealWorld.SupervisionSafe.is_false'}
{'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_true', 'OperationControl.SupervisorDecideEmergencyStop.stuck_on_false', 'RealWorld.SupervisionSafe.is_false'}
{'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_true', 'OperationControl.SupervisorSendEmergencyStop.stuck_on_false', 'RealWorld.SupervisionSafe.is_false'}
{'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_true', 'RealWorld.SupervisionSafe.is_false', 'OperationControl.RobotReceiveEmergencyStop.stuck_on_false'}
{'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_true', 'RealWorld.SupervisionSafe.is_false', 'OperationControl.SupervisorDecideEmergencyStop.stuck_on_false'}
{'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_true', 'RealWorld.SupervisionSafe.is_false', 'OperationControl.SupervisorSendEmergencyStop.stuck_on_false'}
{'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_true', 'OperationControl.RobotReceiveEmergencyStop.stuck_on_false', 'RealWorld.SupervisionSafe.is_false'}
{'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_true', 'OperationControl.SupervisorDecideEmergencyStop.stuck_on_false', 'RealWorld.SupervisionSafe.is_false'}
{'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_true', 'OperationControl.SupervisorSendEmergencyStop.stuck_on_false', 'RealWorld.SupervisionSafe.is_false'}
{'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_true', 'RealWorld.SupervisionSafe.is_false', 'OperationControl.RobotReceiveEmergencyStop.stuck_on_false'}
{'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_true', 'RealWorld.SupervisionSafe.is_false', 'OperationControl.SupervisorDecideEmergencyStop.stuck_on_false'}
{'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_true', 'RealWorld.SupervisionSafe.is_false', 'OperationControl.SupervisorSendEmergencyStop.stuck_on_false'}
{'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_true', 'OperationControl.RobotReceiveEmergencyStop.stuck_on_false', 'RealWorld.SupervisionSafe.is_false'}
{'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_true', 'OperationControl.SupervisorDecideEmergencyStop.stuck_on_false', 'RealWorld.SupervisionSafe.is_false'}
{'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_true', 'OperationControl.SupervisorSendEmergencyStop.stuck_on_false', 'RealWorld.SupervisionSafe.is_false'}
{'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_true', 'RealWorld.SupervisionSafe.is_false', 'OperationControl.RobotReceiveEmergencyStop.stuck_on_false'}
{'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_true', 'RealWorld.SupervisionSafe.is_false', 'OperationControl.SupervisorDecideEmergencyStop.stuck_on_false'}
{'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_true', 'RealWorld.SupervisionSafe.is_false', 'OperationControl.SupervisorSendEmergencyStop.stuck_on_false'}
{'RealWorld.SupervisionSafe.is_false', 'OperationControl.RobotReceiveEmergencyStop.stuck_on_false', 'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_true'}
{'RealWorld.SupervisionSafe.is_false', 'OperationControl.RobotReceiveEmergencyStop.stuck_on_false', 'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_true'}
{'RealWorld.SupervisionSafe.is_false', 'OperationControl.RobotReceiveEmergencyStop.stuck_on_false', 'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_true'}
{'RealWorld.SupervisionSafe.is_false', 'OperationControl.SupervisorDecideEmergencyStop.stuck_on_false', 'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_true'}
{'RealWorld.SupervisionSafe.is_false', 'OperationControl.SupervisorDecideEmergencyStop.stuck_on_false', 'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_true'}
{'RealWorld.SupervisionSafe.is_false', 'OperationControl.SupervisorDecideEmergencyStop.stuck_on_false', 'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_true'}
{'RealWorld.SupervisionSafe.is_false', 'OperationControl.SupervisorSendEmergencyStop.stuck_on_false', 'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_true'}
{'RealWorld.SupervisionSafe.is_false', 'OperationControl.SupervisorSendEmergencyStop.stuck_on_false', 'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_true'}
{'RealWorld.SupervisionSafe.is_false', 'OperationControl.SupervisorSendEmergencyStop.stuck_on_false', 'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_true'}
{'RealWorld.SupervisionSafe.is_false', 'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_true', 'OperationControl.RobotReceiveEmergencyStop.stuck_on_false'}
{'RealWorld.SupervisionSafe.is_false', 'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_true', 'OperationControl.SupervisorDecideEmergencyStop.stuck_on_false'}
{'RealWorld.SupervisionSafe.is_false', 'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_true', 'OperationControl.SupervisorSendEmergencyStop.stuck_on_false'}
{'RealWorld.SupervisionSafe.is_false', 'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_true', 'OperationControl.RobotReceiveEmergencyStop.stuck_on_false'}
{'RealWorld.SupervisionSafe.is_false', 'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_true', 'OperationControl.SupervisorDecideEmergencyStop.stuck_on_false'}
{'RealWorld.SupervisionSafe.is_false', 'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_true', 'OperationControl.SupervisorSendEmergencyStop.stuck_on_false'}
{'RealWorld.SupervisionSafe.is_false', 'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_true', 'OperationControl.RobotReceiveEmergencyStop.stuck_on_false'}
{'RealWorld.SupervisionSafe.is_false', 'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_true', 'OperationControl.SupervisorDecideEmergencyStop.stuck_on_false'}
{'RealWorld.SupervisionSafe.is_false', 'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_true', 'OperationControl.SupervisorSendEmergencyStop.stuck_on_false'}
end