Mechanical resolution linguistic problems - Booth, Andrew D.