diff --git a/snippets/ENSURE/ENSURE_inequalities/Ensure_GreaterThan0.mp b/snippets/ENSURE/ENSURE_inequalities/Ensure_GreaterThan0.mp
new file mode 100644
index 0000000000000000000000000000000000000000..6eec5d04b78f57ab5fa647c564bd16a92b080a92
--- /dev/null
+++ b/snippets/ENSURE/ENSURE_inequalities/Ensure_GreaterThan0.mp
@@ -0,0 +1,3 @@
+/* Ensure that event A is present in all traces. */
+
+ENSURE #A > 0;