Abductive case-based reasoning | Synapse