Seol mar théacs é seo: A logical approach to computational corpus linguistics /