Dryad dataset: Data from: A logic approach to modeling nomenclatural change https://datadryad.org/dataset/doi:10.5061/dryad.cd13v