Cedalion: Documentation