Văn bản này: A logical approach to computational corpus linguistics /