foundations of representing natural language texts as well as on concrete operations of