class="{'small': premise.isClosed}">
                            <span class="k4-nobreak k4-sequentRuleAnte">
                                <span ng-if="premise.isClosed"><i class="fa fa-magic"></i>&nbsp;</span>
                                <span ng-repeat="ante in premise.ante">
                                    <span ng-repeat="antePart in ante">
                                        <span ng-bind-html="antePart.text" ng-if="!antePart.isInput"></span>
                                        <span