private void NextButton_Click(object sender, RoutedEventArgs e) => SynsetNavigator.GoToNext();
 private void PreviousButton_Click(object sender, RoutedEventArgs e) => SynsetNavigator.GoToPrevious();