app/controllers/axioms_controller.rb

#
# Lists axioms of an ontology
#
class AxiomsController < InheritedResources::Base
  belongs_to :ontology

  actions :index
  has_pagination

  respond_to :html, only: %i(index)

  before_filter :check_read_permissions

  protected

  def check_read_permissions
    authorize! :show, parent.repository
  end

  def collection
    @collection ||=
      if display_all?
        axioms =
          if logically_translated?
            parent.axioms
          else
            parent.translated_axioms
          end
        Kaminari.paginate_array(axioms).page(params[:page]).
          per(params[:per_page])
      else
        Kaminari.paginate_array(parent.axioms.original).page(params[:page]).
          per(params[:per_page])
      end
  end

  def logically_translated?
    parent.contains_logic_translations?
  end

  helper_method :logically_translated?
end