Towards intelligent motion inferencing in mathematical sketching