Polish(ernestPohl) ∧ FootballPlayer(ernestPohl)
∃x (FootballPlayer(x) ∧ In(x, polishFirstDivision) ∧ ScoredOver(x, 180Goals))
In(ernestPohl, polishFirstDivision) ∧ ScoredOver(ernestPohl, 180Goals)
∃x ∃y (GornikZabrzes(x) ∧ Stadium(x) ∧ NamedAfter(x, y) ∧ SoccerPlayer(y) ∧ From(y, rudaŚląska))
From(ernestPohl, rudaŚląska))
∀x (GornikZabrzes(x) ∧ Stadium(x) → NamedAfter(x, ernestPohl))