Closed lex-lex closed 5 years ago
In a simple test with just one goal that is one term, i.e. annotation:
<p> <span class="annotator-goal" id="11205edf-249e-44b3-a325-20d19cf4a384"> <span class="annotator-term" id="115182aa-340b-4e49-8d7f-8555f5434cab" data-term="contract"> as asd </span> </span> </p>
after saving, "as asd" with formula "contract" will be both contained in autoGoal (correct) and autoAssumptions (wrong).
In a simple test with just one goal that is one term, i.e. annotation:
after saving, "as asd" with formula "contract" will be both contained in autoGoal (correct) and autoAssumptions (wrong).