<div class="k4-sequentRule">
    <ul>
        <li>{{tactic.name}}</li>
    </ul>
    <div class="k4-sequentRulePremise">
        <div class="row">
        <div class="col-md-12">
            <div class="row" ng-if="tactic.derivation.premise.length === 0">
                <span class="col-md-4 k4-sequentRuleAnte"></span>
                <span class="col-md-1"><i class="fa fa-asterisk" style="font-size:0.5em"></i></span>
                <span class="col-md-7 k4-sequentRuleSucc"></span>
            </div>

   