ordnet encoding