Quelle  complete_upper_semilattices.prf

(complete_upper_semilattices
 (every_set_is_least_bounded_above 0
  (every_set_is_least_bounded_above-1 nil 3314557480
   ("" (skolem!)
    (("" (typepred "<=")
      (("" (expand "complete_upper_semilattice?")
        (("" (flatten) (("" (inst?) nil nil)) nil)) nil))
      nil))
    nil)
   ((<= formal-const-decl "(complete_upper_semilattice?[T])"
        complete_upper_semilattices nil)
    (complete_upper_semilattice? const-decl "bool" bounded_orders nil)
    (pred type-eq-decl nil defined_types nil)
    (T formal-type-decl nil complete_upper_semilattices nil)
    (NOT const-decl "[bool -> bool]" booleans nil)
    (bool nonempty-type-eq-decl nil booleans nil)
    (boolean nonempty-type-decl nil booleans nil)
    (set type-eq-decl nil sets nil))
   nil)))