Automated analysis of legal texts (logic, informatics, law) - introduction