NIL Notes: Source: KIF Version 3.0 Specification
(=> (= (Generalized-Intersection ?Set-Of-Sets) ?Set) (Forall (?S) (=> (Member ?S ?Set-Of-Sets) (Simple-Set ?S))))