t ? '' : ','}}
                                </span>
                            </span>
                            <span>&#8866;</span>
                            <span class="k4-nobreak k4-sequentRuleSucc">
                                <span ng-repeat="succ in premise.succ">
                                    <span ng-repeat="succPart in succ">
                                        <span ng-bind-html="succPart.text" ng-if="!succPart.isInput"></span>
                                        <span 