Translating verbal expressions into mathematical expressions