青云翻译

Safety supervision departments can choose to set the action is assumed to be a = {execute, not execute}

Safety Supervision Department can select the collection of action assumed to be A={do not implementation}

The safe supervisory department may choose the motion set supposition is A= {execution, does not carry out}

Safety supervision departments may choose to assume that brings together the action A={ } implementation does not implement.

Safety Supervision Department can select the collection of action assumed to be A={do not implementation}