An exercise in formalising teleological case-based reasoning