(= (Inverse Production-Host-Of) Production-Host) (<=> (Production-Host ?A ?B) (And (Localized-Entity ?A) (Localized-Entity ?B)))