Mention arguments are sequences, and added withIOB