The Q-Horn item (menu Computations) tests if the current form is pure Horn or disguised-Horn or Quasi-Horn-quadratic and it is yields an appropriate answer.