add semantic pred to make DIV work