(= (Inverse Scattered-Location) Scattered-Location-Of) (<=> (Scattered-Location-Of ?A ?B) (And (Entity ?A) (Entity ?B)))