Internet Archive BookReader - Some applications of logical and psychological principles to grammar