BornIn(asaHoffmann, newYorkCity)
LiveIn(asaHoffmann, manhattan)
ChessPlayer(asaHoffmann)
∃x ∃y (ChessPlayer(x) ∧ GrandMaster(x) ∧ (¬(x=y)) ∧ ChessPlayer(y) ∧ GrandMaster(y))
∀x ((BornIn(x, newYorkCity) ∧ LiveIn(x, newYorkCity)) → NewYorker(x))
∀x (LiveIn(x, manhattan) → LiveIn(x, newYorkCity))
¬LiveIn(asaHoffmann, newYorkCity)