Context and motivation. The semantic review, a process that combines the thorough inspection and formalisation of requirements with an automatic formal analysis, can help to improve requirements quality and find severe defects. Problem. The human needs tool support for inspection, formalisation and review of findings to be able to execute their part of the process effectively and efficiently. Solution. The new version of the Hanfor tool combines the existing formalisation editor with new features: reporting, lightweight checks, and the integration of formal analysis. Conclusion and results. We report on the addition of the new features to Hanfor and explain how they help the human to execute their part in the semantic review process.