Tom uses the zip code 98199.
Lawton Park is a neighbourhood in Seattle.  All citizens of Lawton Park use the zip code 98199.  Tom is a citizen of Lawton Park. Daniel uses the zip code 98199. 
Neighbourhoodin(lawtonPark, seattle) ∀x (Citizenof(x, lawtonPark) → Usezipcode(x, number98199)) Citizenof(tom, lawtonPark) Usezipcode(daniel, number98199)