Open lex-lex opened 5 years ago
I think that both options can be supported. A grouping by theories sounds a good idea to start with since every query belongs to a certain theory. Within these groups, it would be nice to be able to label the queries and then somehow allow the user to sort them or group them using the labels. If there will be too many queries, we will need to support search, etc. so labels can be useful as well then.
Currently, when one has a lot of queries on the same legislation/theory, the GUI will contain a lot of individual query entries, i.e. like
However, often queries have meaningful relations, e.g. about the same topic, or share assumptions and just have different goals. This is tedious to maintain in the current state. What can we do to make that nicer to handle?
One option would be to introduce query groups in the GUI, i.e. having the top-level structure
Then, when I click of a query group (as if I do it know on queries), it will open a new view with all queries inside it. They do not necessarily need to share assumptions, but one could also think of a button à la "copy assumptions from query X [within this query group]" or so.
Another grouping would be by used theories. Any ideas here?