* @throws IOException if any I/O exception occurs when reading the semantic
* space data from the file
*/
public StaticSemanticSpace(File file) throws IOException {
spaceName = file.getName();
SSpaceFormat format = SemanticSpaceIO.getFormat(file);
if (format == null)
throw new Error("Unrecognzied format in " +
"file: " + file.getName());
DataInputStream dis = new DataInputStream(
new BufferedInputStream(new FileInputStream(file)));