There is a village in England.
Ainderby Quernhow is a village and civil parish in the Hambleton District. Hambleton District is in North Yorkshire. North Yorkshire is in England.
∀x (AinderbyQuernhow(x) → Village(x) ∧ CivilParish(x) ∧ Hambleton(x)) ∀x (Hambleton(x) → NorthYorkshire(x)) ∀x (NorthYorkshire(x) → England(x))