QMaPS: qualitative reasoning for simulation learning environments