A context-based reasoning problem