I created a legislation A B C D where each letter is a term. I first marked A and B with an Always/If connective and got correctly B => A, C , D as formulas.
I then marked the connective and C and tried to add another Always/If, hoping to get C => (B => A)) but instead I got an error that Always/If expects two operands but got three. Indeed, the html sent is the following. It seems that the nested one disappears when I mark it again,
I created a legislation A B C D where each letter is a term. I first marked A and B with an Always/If connective and got correctly B => A, C , D as formulas.
I then marked the connective and C and tried to add another Always/If, hoping to get C => (B => A)) but instead I got an error that Always/If expects two operands but got three. Indeed, the html sent is the following. It seems that the nested one disappears when I mark it again,
<p><span class=\"connective-depth-1 annotator-connective\" id=\"ed4e7a3d-fec8-4051-a9b3-209529be513c\" data-connective=\"defonif\" title=\"Always / If\"><span class=\"annotator-term\" id=\"0fdcdb84-11f0-47f1-af22-9c72c59df06c\" data-term=\"A\" title=\"A\">A</span> <span class=\"annotator-term\" id=\"99851d81-0726-41c9-8688-dfcb92535eee\" data-term=\"B\" title=\"B\">B</span> <span class=\"annotator-term\" id=\"b4593d2b-671e-4b81-8eee-59ac85190bf7\" data-term=\"C\" title=\"C\">C</span></span> <span class=\"annotator-term\" id=\"cede1381-9d7a-4d20-9741-c2f0f1bacda8\" data-term=\"D\" title=\"D\">D</span></p>