Minsk joined the Scottish Premiership.
St Johnstone is a Scottish team. St Johnstone is part of the Scottish Premiership. If a team is part of the league, it has joined the league. St Johnstone and Minsk are different teams. For two different teams, either one team wins or the other team wins. Minsk won against St Johnstone.
Scottish(johnstone) PartOf(johnstone, scottishpremiership) ∀x ∀y (PartOf(x, y) → Joined(x, y)) Different(misnk, johnstone) ∧ Different(johnstone, minsk) ∀x ∀y (Different(x, y) → WonGame(x, y) ⊕ WonGame(y, x)) WonGame(minsk, johnstone)