ntePart.value" onbeforesave="saveValue(antePart, $data)"
                              e-required>{{antePart.placeholder}}</a>
                        </span>
                    </span>
                    {{$last ? '' : ','}}
                </span>
            </span>
            <span>&#8866;</span>
            <span class="k4-nobreak k4-sequentRuleSucc">
                <span ng-repeat="succ in tactic.derivation.conclusion.succ">
                    <span ng-repeat="succPart in succ">
                 