Logical expressions for risk consideration in safety design | Synapse