diff --git a/jukebox.cabal b/jukebox.cabal
--- a/jukebox.cabal
+++ b/jukebox.cabal
@@ -1,5 +1,5 @@
 Name: jukebox
-Version: 0.5.10
+Version: 0.5.11
 Cabal-version: >= 1.10
 Build-type: Simple
 Author: Nick Smallbone
diff --git a/src/Jukebox/TPTP/ParseSnippet.hs b/src/Jukebox/TPTP/ParseSnippet.hs
--- a/src/Jukebox/TPTP/ParseSnippet.hs
+++ b/src/Jukebox/TPTP/ParseSnippet.hs
@@ -63,4 +63,5 @@
   where
     extract :: Named a => [a] -> [(String, a)]
     extract xs =
-      [(unintern sym, x) | x <- xs, Fixed (Basic sym) _ <- [name x]]
+      [(unintern sym, x) | x <- xs, Fixed (Basic sym) _ <- [name x]] ++
+      [(unintern sym, x) | x <- xs, Unique _ sym _ _ <- [name x]]