Neutrino-induced meson production in nucleon-decay detectors | Synapse