The converse of _concentrated. Here 'part' from mereology is used, because 'topological-part' has shown some formal problems (see end of the source file).
(=> (_Distributed ?A ?B) (Exists (?Y ?Z) (And (Part-Of ?Y ?A) (Part-Of ?Z ?A) (Not (Connected ?Y ?Z)))))