Anna: Extended Version (2022)