Title: Mechanical Resolution of Linguistic Problems