Language description and implementation concepts of LITFAS (Language for implications from textual files and atomic sentences)