A key challenge in legal knowledge representation is the construction of formal knowledge bases. Such knowledge bases then allow for various applications such as searching and reasoning. In this paper we describe a web application for the annotation of legal texts. The result of the annotation is a formal representation of the legal texts in a form which might be used for searching and reasoning. The novelty of the tool is threefold: it provides a wizard which guides the user in the annotation process; it uses a high-level annotation language which is close to the language of the original text; and, it allows validation of the formal structure by allowing a simple comparison of the original and the annotated versions of the legal text.