def save_hdf(table, filename):
    """
    Save a semantic vector space into an HDF5 file, following the convention
    of storing it as a labeled matrix named 'mat'.
    """
    return table.to_hdf(filename, 'mat', mode='w', encoding='utf-8')