public static void Write (IndexTerm IndexTerm) { Console.WriteLine(" [{0}]/[{1}]", IndexTerm.Type, IndexTerm.Term); }