Mechanical Resolution of Linguistic Problems