enabling pedagogical treebanking via arethusa