Building an AI system for structured reasoning in education — looking for technical feedback