{motive : SemilatSupCat → Sort u_1} →
  (t : SemilatSupCat) →
    ((X : Type u) →
        [isSemilatticeSup : SemilatticeSup X] →
          [isOrderBot : OrderBot X] →
            motive { X := X, isSemilatticeSup := isSemilatticeSup, isOrderBot := isOrderBot }) →
      motive t