L0 = DATA = DATA.Log : L0.Entity >-- DATA.Log.root --> DATA.Log.IndexNode -- DATA.Log.t --> L0.Integer -- DATA.Log.Node.content --> DATA.Log.Content -- DATA.Log.Node.Contains --> DATA.Log.Node