发送短信: Knowledge modeling for precalculus using semantic nets