 ? '' : ','}}
                                </span>
                            </span>
                        </div>
                    </div>
                </div>
            </div>
        </div>
        </div>
    </div>
    <div class="k4-sequentRuleConclusion">
        <div class="row">
        <div class="col-md-12">
            <span class="k4-nobreak k4-sequentRuleAnte">
                <span ng-repeat="ante in tactic.derivation.conclusion.ante">
                    <span ng-repeat="antePart 