also propose objectives and prerequisites for sproblems

[kohlhase]

For problem files ({sproblem}) we have another annotation task that would be good to tackle while we are at it.

Background: for problems we annotate

\objective{<level>}{<sym>}

and

\precondition{<level>}{<sym>}

where <level> is one of remember, understand, or apply.
Most of the in the objectives and preconditions will already have been annotated in the problem statement or solution.

So at the end of the annotation of a file with a {sproblem}, we could ask the unser whether they want to annotate objectives and preconditions. If they do, they should be shown a (numbered) list of the previously annotated symbols and with oa3 should be able to create an annotation of \objective{apply}{<s3>} (and similarly with pa3 for preconditions). There should probably also be an interaction al which triggers "free search" for the symbol name like the regular l action.

Preconditions and objectives should probably be local to the {subproblem}, if those exist.

[kohlhase]

This would be very useful for me, since I am annotating ca. 20-50 problems per week. At least during the semester. And Halimeh wants to start with Deepak's problems.

[lambdaTotoro]

I would also warmly welcome a feature for this. I was thinking that it could be an addition to the selection of the concepts. So if the concept I want is number two in the list, I'd just type 2+o-apply or something like that for adding an objective. But that's just my idea. Any support on this front would be helpful.