diff --git a/ontopy/manchester.py b/ontopy/manchester.py
index 0c6fef579..5b2791dfb 100644
--- a/ontopy/manchester.py
+++ b/ontopy/manchester.py
@@ -168,7 +168,7 @@ def fneg(x):
             elif rtype in ("some", "only"):
                 return fneg(f(_eval(r)))
             elif rtype in ("min", "max", "exactly"):
-                cardinality = r.pop()
+                cardinality = r.pop(0)
                 return fneg(f(cardinality, _eval(r)))
             else:
                 raise ManchesterError(f"invalid restriction type: {rtype}")