NILNotes:
- Source: KIF Version 3.0 Specification
(=> (= (Generalized-Union ?Set-Of-Sets) ?Set) (Forall (?S) (=> (Member ?S ?Set-Of-Sets) (Simple-Set ?S)))) (=> (And (Bounded ?U) (Forall (?X) (=> (Member ?X ?U) (Bounded ?X)))) (Bounded (Generalized-Union ?U)))