Premise: Benjamin Antonietti (born July 7, 1991) is a Swiss professional ice hockey player who is currently playing with the Dragons de Rouen of the French Ligue Magnus. He previously played in the National League (NL) with Genève-Servette HC and Lausanne HC.
Hypothesis: Earlier in his career, Benjamin Antonietti was traded from Geneve-Servette HC to Lausanne HC.