Asa Hoffmann is a New Yorkers.
Asa Hoffmann was born in New York City. Asa Hoffman lives in Manhattan. Asa Hoffman is a chess player. Some chess players are grandmasters. People born and living in New York City are New Yorkers. People liviing in Manhattan live in New York City.
BornIn(asaHoffmann, newyorkcity) LivesIn(asaHoffmann, manhattan) IsChessPlayer(asaHoffmann) ∃x (IsChestPlayer(x) ∧ IsGrandMaster(x)) ∀x (BornIn(x, newyorkcity) ∧ LivesIn(x, newyorkcity) → IsNewYorker(x)) ∀x (LivesIn(x, manhattan) → LivesIn(x, newyorkcity))