StringInterval.hpp: more details in doc
ID -> category ID