Export SimplePoset