Have a way to operate a list of propositions at one time (e.g. to tag them)

It's laborious to tag each proposition one by one when all of them in the same tree will have the same tag.