ROSA:a model-based computer system for teaching legal case solving