The non-minimal localization: Nick is in Rome.
(<=> (Wholly-Located ?A ?B) (And (Exists (?C) (And (Located ?A ?C) (Part-Of ?C ?B))) (Entity ?B) (Located ?A ?B) (Entity ?A) (Region ?B)))