Title: Mechanical resolution of linguistic problems