Translating English into logical form