NIL Notes: Source: KIF Version 3.0 Specification
(=> (And (Bounded ?U) (Forall (?X) (=> (Member ?X ?U) (Bounded ?X)))) (Bounded (Generalized-Union ?U)))