Requirements for the annotations component

Given a free text, the user should be able to

1. annotate a specific sentence, this creates a new formula
2. within the sentence, annotate a certain part
3. the part can be annotated with terms, operators and connectives
4. Terms generate a new name and apply it to the specified variables. The annotator should allow here to
   1. either choose a name from a list or create a new one
   2. specify free variables or arguments
5. Operators and connectives are always chosen from a list of supported operators and connectives

For example,

A user should be able to annotate a text in the legislation while using the same name across sentences (by selecting it afterwards from a list). The user then write free text for a query (which will be the description?) and annotate it with selections of terms and connectives, etc. all from a list.

Additional requirements for legislations

Additional requirements for queries