A logical foundation for the case-based reasoning cycle | Synapse