diff --git a/ansi-tests/subtypep-cons.lsp b/ansi-tests/subtypep-cons.lsp
index fc5032af19e59c60c7e3b83d374a0654165c6381..e7d3aeaa6231a222e353c1b412fa07172215ef84 100644
--- a/ansi-tests/subtypep-cons.lsp
+++ b/ansi-tests/subtypep-cons.lsp
@@ -77,3 +77,14 @@
    '(cons (or symbol integer)
 	  (cons (or symbol integer) (or symbol integer))))
   nil)
+
+(deftest subtypep.cons.9
+  (check-equivalence
+   '(or
+     (cons (integer 0 (3)) (integer 0 (6)))
+     (cons (integer 3 (9)) (integer 0 (3)))
+     (cons (integer 0 (6)) (integer 6 (9)))
+     (cons (integer 6 (9)) (integer 3 (9)))
+     (cons (integer 3 (6)) (integer 3 (6))))
+   '(cons (integer 0 (9)) (integer 0 (9))))
+  nil)