Title: Semantic Information Modeling in Formalized Languages